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

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

Associated Types

type Abstract

Loading content...

Required methods

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

Loading content...

Implementations on Foreign Types

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

type Abstract = AbstractOperand

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

impl Lift for Local

type Abstract = AbstractOperand

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

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

type Abstract = AbstractType

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

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

type Abstract = ProjectionElem<AbstractOperand, AbstractType>

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

Loading content...

Implementors

Loading content...