# Trait rustc_const_eval::interpret::Writeable

source ·

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

source

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

## Object Safety§

This trait is not object safe.

## 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>