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.