Trait rustc_mir_dataflow::move_paths::abs_domain::Lift

source ·
pub(crate) trait Lift {
    type Abstract;

    // Required method
    fn lift(&self) -> Self::Abstract;
}

Required Associated Types§

Required Methods§

source

fn lift(&self) -> Self::Abstract

Implementations on Foreign Types§

source§

impl Lift for Local

source§

impl<'tcx> Lift for Operand<'tcx>

source§

impl<'tcx> Lift for Ty<'tcx>

source§

impl<'tcx> Lift for PlaceElem<'tcx>

Implementors§