Trait miri::Writeable

source · 
pub trait Writeable<'tcx, Prov>: Projectable<'tcx, Prov>
where
    Prov: Provenance,
{
    // Required methods
    fn as_mplace_or_local(
        &self
    ) -> Either<MPlaceTy<'tcx, Prov>, (usize, Local, Option<Size>, TyAndLayout<'tcx, Ty<'tcx>>)>;
    fn force_mplace<'mir, M>(
        &self,
        ecx: &mut InterpCx<'mir, 'tcx, M>
    ) -> Result<MPlaceTy<'tcx, Prov>, InterpErrorInfo<'tcx>>
       where M: Machine<'mir, 'tcx, Provenance = Prov>;
}
Expand description

The Weiteable trait describes interpreter values that can be written to.

Required Methods§

source

fn as_mplace_or_local( &self ) -> Either<MPlaceTy<'tcx, Prov>, (usize, Local, Option<Size>, TyAndLayout<'tcx, Ty<'tcx>>)>

source

fn force_mplace<'mir, M>( &self, ecx: &mut InterpCx<'mir, 'tcx, M> ) -> Result<MPlaceTy<'tcx, Prov>, InterpErrorInfo<'tcx>>
where M: Machine<'mir, 'tcx, Provenance = Prov>,

Object Safety§

This trait is not object safe.

Implementors§