Module late

“Late resolution” is the pass that resolves most of names in a crate beside imports and macros. It runs when the crate is fully expanded and its module structure is fully built. So it just walks through the crate and resolves all the expressions, types, etc.

If you wonder why there’s no early.rs, that’s because it’s split into three files - build_reduced_graph.rs, macros.rs and imports.rs.

Modules

diagnostics 🔒

Structs

BindingInfo 🔒

DiagMetadata 🔒

IsNeverPattern 🔒

ItemInfoCollector 🔒

Walks the whole crate in DFS order, visiting each item, counting the declared number of lifetime generic parameters and function parameters.

LateResolutionVisitor 🔒

LifetimeRib 🔒

Rib 🔒

A single local scope.

UnnecessaryQualification 🔒

Used for recording UnnecessaryQualification.

Enums

AliasPossibility 🔒

AnonConstKind 🔒

Describes whether an AnonConst is a type level const arg or some other form of anon const (i.e. inline consts or enum discriminants)

ConstantHasGenerics 🔒

May this constant have generics?

ConstantItemKind 🔒

HasGenericParams 🔒

Does this the item (from the item rib scope) allow generic parameters?

IsRepeatExpr 🔒

LifetimeBinderKind 🔒

LifetimeRibKind 🔒

LifetimeUseSet 🔒

MaybeExported 🔒

At this point for most items we can answer whether that item is exported or not, but some items like impls require type information to determine exported-ness, so we make a conservative estimate for them (e.g. based on nominal visibility).

NoConstantGenericsReason 🔒

Reason for why an anon const is not allowed to reference generic parameters

PatBoundCtx 🔒

Denotes whether the context for the set of already bound bindings is a Product or Or context. This is used in e.g., fresh_binding and resolve_pattern_inner. See those functions for more information.

PathSource 🔒

PatternSource 🔒

RecordPartialRes 🔒

RibKind 🔒

The rib kind restricts certain accesses, e.g. to a Res::Local of an outer item.

Functions

def_id_matches_path 🔒

Check if definition matches a path

Type Aliases

IdentMap 🔒

Res 🔒