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>, Align, 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.