Module rustc_hir_analysis::collect::resolve_bound_vars
source · Expand description
Resolution of early vs late bound lifetimes.
Name resolution for lifetimes is performed on the AST and embedded into HIR. From this information, typechecking needs to transform the lifetime parameters into bound lifetimes. Lifetimes can be early-bound or late-bound. Construction of typechecking terms needs to visit the types in HIR to identify late-bound lifetimes and assign their Debruijn indices. This file is also responsible for assigning their semantics to implicit lifetimes in trait objects.
Structs
- Maps the id of each bound variable reference to the variable decl that it corresponds to.
Enums
- Scope 🔒
Traits
Functions
- Detects late-bound lifetimes and inserts them into
late_bound
. - provide 🔒
- Computes the
ResolveBoundVars
map that contains data for an entireItem
. You should not read the result of this query directly, but rather usenamed_variable_map
,is_late_bound_map
, etc.
Type Aliases
- ScopeRef 🔒