Trait miri::Readable

source ·
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>>;
}
Expand description

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

Required Methods§

source

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

Implementors§