☰
Lift
Required Associated Types
Abstract
Required Methods
lift
Implementations on Foreign Types
Local
Operand<'tcx>
PlaceElem<'tcx>
Ty<'tcx>
Implementors
In rustc_mir_dataflow::move_paths::abs_domain
?
Trait
rustc_mir_dataflow
::
move_paths
::
abs_domain
::
Lift
source
·
[
−
]
pub trait Lift { type
Abstract
; fn
lift
(&self) -> Self::
Abstract
; }
Required Associated Types
source
type
Abstract
Required Methods
source
fn
lift
(&self) -> Self::
Abstract
Implementations on Foreign Types
source
impl<'tcx>
Lift
for
Operand
<'tcx>
type
Abstract
=
AbstractOperand
source
fn
lift
(&self) -> Self::
Abstract
source
impl
Lift
for
Local
type
Abstract
=
AbstractOperand
source
fn
lift
(&self) -> Self::
Abstract
source
impl<'tcx>
Lift
for
Ty
<'tcx>
type
Abstract
=
AbstractType
source
fn
lift
(&self) -> Self::
Abstract
source
impl<'tcx>
Lift
for
PlaceElem
<'tcx>
type
Abstract
=
ProjectionElem
<
AbstractOperand
,
AbstractType
>
source
fn
lift
(&self) -> Self::
Abstract
Implementors