Module rustc_resolve::late::lifetimes

Name resolution for lifetimes.

Name resolution for lifetimes follows much simpler rules than the full resolve. For example, lifetime names are never exported or used between functions, and they operate in a purely top-down way. Therefore, we break lifetime name resolution into a separate pass.

Structs

ElisionFailureInfo
LifetimeContext
NamedRegionMap	Maps the id of each lifetime reference to the lifetime decl that it corresponds to.
Original
Shadower

Enums

Elide
LifetimeUseSet
Scope
ShadowKind

Constants

ROOT_SCOPE

Traits

RegionExt

Functions

check_mixed_explicit_and_in_band_defs
compute_object_lifetime_defaults
extract_labels
insert_late_bound_lifetimes	Detects late-bound lifetimes and inserts them into map.late_bound.
krate
object_lifetime_defaults_for_item	Scan the bounds and where-clauses on parameters to extract bounds of the form T:'a so as to determine the ObjectLifetimeDefault for each type parameter.
original_label
original_lifetime
provide
resolve_lifetimes	Computes the ResolveLifetimes map that contains data for the entire crate. You should not read the result of this query directly, but rather use named_region_map, is_late_bound_map, etc.
shadower_label
shadower_lifetime
signal_shadowing_problem
sub_items_have_self_param	In traits, there is an implicit Self type parameter which comes before the generics. We have to account for this when computing the index of the other generic parameters. This function returns whether there is such an implicit parameter defined on the given item.

Type Definitions

ScopeRef