pub trait Writeable<'tcx, Prov>: Projectable<'tcx, Prov>where
Prov: Provenance,{
// Required methods
fn as_mplace_or_local(
&self
) -> Either<MPlaceTy<'tcx, Prov>, (Local, Option<Size>, usize, 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§
fn as_mplace_or_local( &self ) -> Either<MPlaceTy<'tcx, Prov>, (Local, Option<Size>, usize, 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>,
Object Safety§
This trait is not object safe.