struct BoundVarContext<'a, 'tcx> {
tcx: TyCtxt<'tcx>,
map: &'a mut NamedVarMap,
scope: &'a Scope<'a>,
}
Fields§
§tcx: TyCtxt<'tcx>
§map: &'a mut NamedVarMap
§scope: &'a Scope<'a>
Implementations§
source§impl<'a, 'tcx> BoundVarContext<'a, 'tcx>
impl<'a, 'tcx> BoundVarContext<'a, 'tcx>
sourcefn poly_trait_ref_binder_info(
&mut self,
) -> (Vec<BoundVariableKind>, BinderScopeType)
fn poly_trait_ref_binder_info( &mut self, ) -> (Vec<BoundVariableKind>, BinderScopeType)
Returns the binders in scope and the type of Binder
that should be created for a poly trait ref.
fn visit_poly_trait_ref_inner( &mut self, trait_ref: &'tcx PolyTraitRef<'tcx>, non_lifetime_binder_allowed: NonLifetimeBinderAllowed, )
source§impl<'a, 'tcx> BoundVarContext<'a, 'tcx>
impl<'a, 'tcx> BoundVarContext<'a, 'tcx>
fn with<F>(&mut self, wrap_scope: Scope<'_>, f: F)where
F: for<'b> FnOnce(&mut BoundVarContext<'b, 'tcx>),
fn record_late_bound_vars( &mut self, hir_id: HirId, binder: Vec<BoundVariableKind>, )
sourcefn visit_early_late<F>(
&mut self,
hir_id: HirId,
generics: &'tcx Generics<'tcx>,
walk: F,
)where
F: for<'b, 'c> FnOnce(&'b mut BoundVarContext<'c, 'tcx>),
fn visit_early_late<F>(
&mut self,
hir_id: HirId,
generics: &'tcx Generics<'tcx>,
walk: F,
)where
F: for<'b, 'c> FnOnce(&'b mut BoundVarContext<'c, 'tcx>),
Visits self by adding a scope and handling recursive walk over the contents with walk
.
Handles visiting fns and methods. These are a bit complicated because we must distinguish early- vs late-bound lifetime parameters. We do this by checking which lifetimes appear within type bounds; those are early bound lifetimes, and the rest are late bound.
For example:
fn foo<’a,’b,’c,T:Trait<’b>>(…)
Here 'a
and 'c
are late bound but 'b
is early bound. Note that early- and late-bound
lifetimes may be interspersed together.
If early bound lifetimes are present, we separate them into their own list (and likewise
for late bound). They will be numbered sequentially, starting from the lowest index that is
already in scope (for a fn item, that will be 0, but for a method it might not be). Late
bound lifetimes are resolved by name and associated with a binder ID (binder_id
), so the
ordering is not important there.
fn visit_early<F>(
&mut self,
hir_id: HirId,
generics: &'tcx Generics<'tcx>,
walk: F,
)where
F: for<'b, 'c> FnOnce(&'b mut BoundVarContext<'c, 'tcx>),
fn resolve_lifetime_ref( &mut self, region_def_id: LocalDefId, lifetime_ref: &'tcx Lifetime, )
fn resolve_type_ref(&mut self, param_def_id: LocalDefId, hir_id: HirId)
fn visit_segment_args( &mut self, res: Res, depth: usize, generic_args: &'tcx GenericArgs<'tcx>, )
sourcefn supertrait_hrtb_vars(
tcx: TyCtxt<'tcx>,
def_id: DefId,
assoc_name: Ident,
assoc_kind: AssocKind,
) -> Option<(Vec<BoundVariableKind>, &'tcx AssocItem)>
fn supertrait_hrtb_vars( tcx: TyCtxt<'tcx>, def_id: DefId, assoc_name: Ident, assoc_kind: AssocKind, ) -> Option<(Vec<BoundVariableKind>, &'tcx AssocItem)>
Returns all the late-bound vars that come into scope from supertrait HRTBs, based on the associated type name and starting trait. For example, imagine we have
trait Foo<'a, 'b> {
type As;
}
trait Bar<'b>: for<'a> Foo<'a, 'b> {}
trait Bar: for<'b> Bar<'b> {}
In this case, if we wanted to the supertrait HRTB lifetimes for As
on
the starting trait Bar
, we would return Some(['b, 'a])
.
fn visit_fn_like_elision( &mut self, inputs: &'tcx [Ty<'tcx>], output: Option<&'tcx Ty<'tcx>>, in_closure: bool, )
fn resolve_object_lifetime_default(&mut self, lifetime_ref: &'tcx Lifetime)
fn insert_lifetime(&mut self, lifetime_ref: &'tcx Lifetime, def: ResolvedArg)
sourcefn uninsert_lifetime_on_error(
&mut self,
lifetime_ref: &'tcx Lifetime,
bad_def: ResolvedArg,
)
fn uninsert_lifetime_on_error( &mut self, lifetime_ref: &'tcx Lifetime, bad_def: ResolvedArg, )
Sometimes we resolve a lifetime, but later find that it is an
error (esp. around impl trait). In that case, we remove the
entry into map.defs
so as not to confuse later code.
Trait Implementations§
source§impl<'a, 'tcx> Visitor<'tcx> for BoundVarContext<'a, 'tcx>
impl<'a, 'tcx> Visitor<'tcx> for BoundVarContext<'a, 'tcx>
source§type NestedFilter = OnlyBodies
type NestedFilter = OnlyBodies
NestedFilter
for details. If you override this type, you
must also override nested_visit_map
. Read moresource§fn nested_visit_map(&mut self) -> Self::Map
fn nested_visit_map(&mut self) -> Self::Map
type NestedFilter
is set to visit nested items, this method
must also be overridden to provide a map to retrieve nested items.source§fn visit_nested_body(&mut self, body: BodyId)
fn visit_nested_body(&mut self, body: BodyId)
visit_nested_item
, does nothing by default unless you override
Self::NestedFilter
.fn visit_expr(&mut self, e: &'tcx Expr<'tcx>)
source§fn visit_item(&mut self, item: &'tcx Item<'tcx>)
fn visit_item(&mut self, item: &'tcx Item<'tcx>)
visit_nested_item
for details.fn visit_precise_capturing_arg( &mut self, arg: &'tcx PreciseCapturingArg<'tcx>, ) -> Self::Result
fn visit_foreign_item(&mut self, item: &'tcx ForeignItem<'tcx>)
fn visit_ty(&mut self, ty: &'tcx Ty<'tcx>)
fn visit_pattern_type_pattern(&mut self, p: &'tcx Pat<'tcx>)
fn visit_trait_item(&mut self, trait_item: &'tcx TraitItem<'tcx>)
fn visit_impl_item(&mut self, impl_item: &'tcx ImplItem<'tcx>)
fn visit_lifetime(&mut self, lifetime_ref: &'tcx Lifetime)
fn visit_path(&mut self, path: &Path<'tcx>, hir_id: HirId)
fn visit_fn( &mut self, fk: FnKind<'tcx>, fd: &'tcx FnDecl<'tcx>, body_id: BodyId, _: Span, def_id: LocalDefId, )
fn visit_generics(&mut self, generics: &'tcx Generics<'tcx>)
fn visit_where_predicate(&mut self, predicate: &'tcx WherePredicate<'tcx>)
fn visit_poly_trait_ref(&mut self, trait_ref: &'tcx PolyTraitRef<'tcx>)
fn visit_anon_const(&mut self, c: &'tcx AnonConst)
fn visit_generic_param(&mut self, p: &'tcx GenericParam<'tcx>)
type Map = <Self::NestedFilter as NestedFilter<'v>>::Map
source§fn visit_nested_item(&mut self, id: ItemId) -> Self::Result
fn visit_nested_item(&mut self, id: ItemId) -> Self::Result
Self::NestedFilter
is nested_filter::None
, this method does
nothing. You probably don’t want to override this method –
instead, override Self::NestedFilter
or use the “shallow” or
“deep” visit patterns described at
rustc_hir::intravisit
. The only reason to override
this method is if you want a nested pattern but cannot supply a
Map
; see nested_visit_map
for advice.source§fn visit_nested_trait_item(&mut self, id: TraitItemId) -> Self::Result
fn visit_nested_trait_item(&mut self, id: TraitItemId) -> Self::Result
visit_nested_item()
, but for trait items. See
visit_nested_item()
for advice on when to override this
method.source§fn visit_nested_impl_item(&mut self, id: ImplItemId) -> Self::Result
fn visit_nested_impl_item(&mut self, id: ImplItemId) -> Self::Result
visit_nested_item()
, but for impl items. See
visit_nested_item()
for advice on when to override this
method.source§fn visit_nested_foreign_item(&mut self, id: ForeignItemId) -> Self::Result
fn visit_nested_foreign_item(&mut self, id: ForeignItemId) -> Self::Result
visit_nested_item()
, but for foreign items. See
visit_nested_item()
for advice on when to override this
method.fn visit_param(&mut self, param: &'v Param<'v>) -> Self::Result
fn visit_body(&mut self, b: &Body<'v>) -> Self::Result
fn visit_id(&mut self, _hir_id: HirId) -> Self::Result
fn visit_name(&mut self, _name: Symbol) -> Self::Result
fn visit_ident(&mut self, ident: Ident) -> Self::Result
fn visit_mod(&mut self, m: &'v Mod<'v>, _s: Span, n: HirId) -> Self::Result
fn visit_local(&mut self, l: &'v LetStmt<'v>) -> Self::Result
fn visit_block(&mut self, b: &'v Block<'v>) -> Self::Result
fn visit_stmt(&mut self, s: &'v Stmt<'v>) -> Self::Result
fn visit_arm(&mut self, a: &'v Arm<'v>) -> Self::Result
fn visit_pat(&mut self, p: &'v Pat<'v>) -> Self::Result
fn visit_pat_field(&mut self, f: &'v PatField<'v>) -> Self::Result
fn visit_array_length(&mut self, len: &'v ArrayLen<'v>) -> Self::Result
fn visit_inline_const(&mut self, c: &'v ConstBlock) -> Self::Result
fn visit_const_arg(&mut self, c: &'v ConstArg<'v>) -> Self::Result
fn visit_expr_field(&mut self, field: &'v ExprField<'v>) -> Self::Result
fn visit_const_param_default( &mut self, _param: HirId, ct: &'v ConstArg<'v>, ) -> Self::Result
fn visit_fn_ret_ty(&mut self, ret_ty: &'v FnRetTy<'v>) -> Self::Result
fn visit_fn_decl(&mut self, fd: &'v FnDecl<'v>) -> Self::Result
fn visit_use( &mut self, path: &'v Path<'v, SmallVec<[Res; 3]>>, hir_id: HirId, ) -> Self::Result
fn visit_trait_item_ref(&mut self, ii: &'v TraitItemRef) -> Self::Result
fn visit_foreign_item_ref(&mut self, ii: &'v ForeignItemRef) -> Self::Result
fn visit_impl_item_ref(&mut self, ii: &'v ImplItemRef) -> Self::Result
fn visit_trait_ref(&mut self, t: &'v TraitRef<'v>) -> Self::Result
fn visit_param_bound(&mut self, bounds: &'v GenericBound<'v>) -> Self::Result
fn visit_variant_data(&mut self, s: &'v VariantData<'v>) -> Self::Result
fn visit_field_def(&mut self, s: &'v FieldDef<'v>) -> Self::Result
fn visit_enum_def( &mut self, enum_definition: &'v EnumDef<'v>, item_id: HirId, ) -> Self::Result
fn visit_variant(&mut self, v: &'v Variant<'v>) -> Self::Result
fn visit_label(&mut self, label: &'v Label) -> Self::Result
fn visit_infer(&mut self, inf: &'v InferArg) -> Self::Result
fn visit_generic_arg(&mut self, generic_arg: &'v GenericArg<'v>) -> Self::Result
fn visit_qpath( &mut self, qpath: &'v QPath<'v>, id: HirId, _span: Span, ) -> Self::Result
fn visit_path_segment( &mut self, path_segment: &'v PathSegment<'v>, ) -> Self::Result
fn visit_generic_args( &mut self, generic_args: &'v GenericArgs<'v>, ) -> Self::Result
fn visit_assoc_item_constraint( &mut self, constraint: &'v AssocItemConstraint<'v>, ) -> Self::Result
fn visit_attribute(&mut self, _attr: &'v Attribute) -> Self::Result
fn visit_associated_item_kind( &mut self, kind: &'v AssocItemKind, ) -> Self::Result
fn visit_defaultness(&mut self, defaultness: &'v Defaultness) -> Self::Result
fn visit_inline_asm( &mut self, asm: &'v InlineAsm<'v>, id: HirId, ) -> Self::Result
Auto Trait Implementations§
impl<'a, 'tcx> Freeze for BoundVarContext<'a, 'tcx>
impl<'a, 'tcx> !RefUnwindSafe for BoundVarContext<'a, 'tcx>
impl<'a, 'tcx> !Send for BoundVarContext<'a, 'tcx>
impl<'a, 'tcx> !Sync for BoundVarContext<'a, 'tcx>
impl<'a, 'tcx> Unpin for BoundVarContext<'a, 'tcx>
impl<'a, 'tcx> !UnwindSafe for BoundVarContext<'a, 'tcx>
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
source§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
source§impl<T> Filterable for T
impl<T> Filterable for T
source§fn filterable(
self,
filter_name: &'static str,
) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>
fn filterable( self, filter_name: &'static str, ) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>
source§impl<T> Instrument for T
impl<T> Instrument for T
source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§impl<P> IntoQueryParam<P> for P
impl<P> IntoQueryParam<P> for P
fn into_query_param(self) -> P
source§impl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
source§impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
source§impl<I, T> UpcastFrom<I, T> for T
impl<I, T> UpcastFrom<I, T> for T
fn upcast_from(from: T, _tcx: I) -> T
source§impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
default fn from_cycle_error( tcx: Tcx, cycle_error: &CycleError, _guar: ErrorGuaranteed, ) -> T
source§impl<T> WithSubscriber for T
impl<T> WithSubscriber for T
source§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
source§fn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
impl<T> ErasedDestructor for Twhere
T: 'static,
impl<T> MaybeSendSync for T
Layout§
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.
Size: 24 bytes