pub trait Lift {
    type Abstract;

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

Required Associated Types§

Required Methods§

source

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

Implementations on Foreign Types§

source§

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

source§

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

source§

impl Lift for Local

source§

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

§

type Abstract = AbstractType

source§

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

Implementors§