pub trait Writeable<'tcx, Prov: Provenance>: Projectable<'tcx, Prov> {
    // Required methods
    fn as_mplace_or_local(
        &self
    ) -> Either<MPlaceTy<'tcx, Prov>, (usize, Local, Option<Size>, Align, TyAndLayout<'tcx>)>;
    fn force_mplace<'mir, M: Machine<'mir, 'tcx, Provenance = Prov>>(
        &self,
        ecx: &mut InterpCx<'mir, 'tcx, M>
    ) -> InterpResult<'tcx, MPlaceTy<'tcx, 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>, Align, TyAndLayout<'tcx>)>

source

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

Implementors§

source§

impl<'tcx, Prov: Provenance> Writeable<'tcx, Prov> for MPlaceTy<'tcx, Prov>

source§

impl<'tcx, Prov: Provenance> Writeable<'tcx, Prov> for PlaceTy<'tcx, Prov>