Trait Writeable

pub trait Writeable<'tcx, Prov: Provenance>: Projectable<'tcx, Prov> {
    // Required methods
    fn to_place(&self) -> PlaceTy<'tcx, Prov>;
    fn force_mplace<M: Machine<'tcx, Provenance = Prov>>(
        &self,
        ecx: &mut InterpCx<'tcx, M>,
    ) -> InterpResult<'tcx, MPlaceTy<'tcx, Prov>>;
}

The Weiteable trait describes interpreter values that can be written to.

Required Methods

fn to_place(&self) -> PlaceTy<'tcx, Prov>

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

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

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