Trait miri::Readable

pub trait Readable<'tcx, Prov>: Projectable<'tcx, Prov>
where
    Prov: Provenance,
{
    // Required method
    fn as_mplace_or_imm(
        &self
    ) -> Either<MPlaceTy<'tcx, Prov>, ImmTy<'tcx, Prov>>;
}

The Readable trait describes interpreter values that one can read from.

Required Methods

fn as_mplace_or_imm(&self) -> Either<MPlaceTy<'tcx, Prov>, ImmTy<'tcx, Prov>>

Object Safety

This trait is not object safe.

Implementors

impl<'tcx, Prov> Readable<'tcx, Prov> for ImmTy<'tcx, Prov>

where Prov: Provenance,

impl<'tcx, Prov> Readable<'tcx, Prov> for MPlaceTy<'tcx, Prov>

where Prov: Provenance,

impl<'tcx, Prov> Readable<'tcx, Prov> for OpTy<'tcx, Prov>

where Prov: Provenance,