# 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>, (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§

source

#### fn as_mplace_or_local( &self ) -> Either<MPlaceTy<'tcx, Prov>, (Local, Option<Size>, usize, 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§

source§

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

source§

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