Module rustc_resolve::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 🔒
• DiagnosticMetadata 🔒
• LateResolutionVisitor 🔒
• LifetimeCountVisitor 🔒
• LifetimeRib 🔒
• Rib 🔒
  A single local scope.
• SelfVisitor 🔒

Enums

• AliasPossibility 🔒
• ConstantHasGenerics 🔒
  May this constant have generics?
• ConstantItemKind 🔒
• Elision 🔒
• 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).
• 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.

Statics

• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒
• CALLSITE 🔒

Functions

• append_result 🔒

Type Definitions

• BindingMap 🔒
  Map from the name in a pattern to its binding mode.
• IdentMap 🔒
• Res 🔒