Trait rustc_const_eval::interpret::operand::Readable

pub trait Readable<'tcx, Prov: Provenance>: Projectable<'tcx, Prov> {
    // 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

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

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

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