Trait rustc_mir::dataflow::move_paths::abs_domain::Lift[−][src]

pub trait Lift {
    type Abstract;
    fn lift(&self) -> Self::Abstract;
}

Associated Types

type Abstract

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

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

type Abstract = AbstractOperand

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

impl Lift for Local

type Abstract = AbstractOperand

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

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

type Abstract = AbstractType

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

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

type Abstract = ProjectionElem<AbstractOperand, AbstractType>

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