Trait rustc_mir::dataflow::move_paths::abs_domain::Lift

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

Associated Types

type Abstract

Required methods

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

Implementations on Foreign Types

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

Implementors