rustc_
mir_
dataflow
1.83.0-beta.5
(eb6e3fa1a 2024-11-08)
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
rustc_mir_dataflow
::
move_paths
::
abs_domain
Trait
Lift
Copy item path
source
pub(crate) trait Lift { type
Abstract
; // Required method 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
Lift
for
Local
source
§
type
Abstract
=
AbstractOperand
source
§
fn
lift
(&self) -> Self::
Abstract
source
§
impl<'tcx>
Lift
for
Operand
<'tcx>
source
§
type
Abstract
=
AbstractOperand
source
§
fn
lift
(&self) -> Self::
Abstract
source
§
impl<'tcx>
Lift
for
Ty
<'tcx>
source
§
type
Abstract
=
AbstractType
source
§
fn
lift
(&self) -> Self::
Abstract
source
§
impl<'tcx>
Lift
for
PlaceElem
<'tcx>
source
§
type
Abstract
=
ProjectionElem
<
AbstractOperand
,
AbstractType
>
source
§
fn
lift
(&self) -> Self::
Abstract
Implementors
§