Type Definition rustc_middle::mir::PlaceElem [−][src]
pub type PlaceElem<'tcx> = ProjectionElem<Local, Ty<'tcx>>;
Expand description
Alias for projections as they appear in places, where the base is a place and the index is a local.
Trait Implementations
fn super_visit_with<Vs: TypeVisitor<'tcx>>(
&self,
visitor: &mut Vs
) -> ControlFlow<Vs::BreakTy>
Returns true
if self
has any late-bound regions that are either
bound by binder
or bound by some binder outside of binder
.
If binder
is ty::INNERMOST
, this indicates whether
there are any late-bound regions that appear free. Read more
Returns true
if this self
has any regions that escape binder
(and
hence are not bound by it). Read more
“Free” regions in this context means that it has any region that is not (a) erased or (b) late-bound. Read more
True if there are any un-erased free regions.
Indicates whether this value definitely references only ‘global’ generic parameters that are the same regardless of what fn we are in. This is used for caching. Read more
Indicates whether this value references only ‘global’ generic parameters that are the same regardless of what fn we are in. This is used for caching. Read more
True if there are any late-bound regions
Indicates whether this value still has parameters/placeholders/inference variables
which could be replaced later, in a way that would change the results of impl
specialization. Read more