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

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

Associated Types

type Abstract[src]

Loading content...

Required methods

fn lift(&self) -> Self::Abstract[src]

Loading content...

Implementations on Foreign Types

impl<'tcx> Lift for Operand<'tcx>[src]

type Abstract = AbstractOperand

fn lift(&self) -> Self::Abstract[src]

impl Lift for Local[src]

type Abstract = AbstractOperand

fn lift(&self) -> Self::Abstract[src]

impl<'tcx> Lift for Ty<'tcx>[src]

type Abstract = AbstractType

fn lift(&self) -> Self::Abstract[src]

impl<'tcx> Lift for PlaceElem<'tcx>[src]

type Abstract = ProjectionElem<AbstractOperand, AbstractType>

fn lift(&self) -> Self::Abstract[src]

Loading content...

Implementors

Loading content...