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

Implementors