Skip to main content

## Writeable

# Trait Writeable

Source

    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>>;
    }

Expand description

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

## Required Methods§

Source

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

Source

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

## Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so 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>