Trait Lift

pub(crate) trait Lift {
    type Abstract;

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

Required Associated Types

type Abstract

Required Methods

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

Implementations on Foreign Types

impl Lift for Local

type Abstract = AbstractOperand

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

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

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