Crate rustc_resolve 

This crate is responsible for the part of name resolution that doesn’t require type checker.

Module structure of the crate is built here. Paths in macros, imports, expressions, types, patterns are resolved here. Label and lifetime names are resolved here as well.

Type-relative name resolution (methods, fields, associated items) happens in rustc_hir_analysis.

Re-exports

pub(crate) use diagnostics::ParamKindInEnumDiscriminant; 🔒

pub(crate) use diagnostics::ParamKindInNonTrivialAnonConst; 🔒

pub(crate) use effective_visibilities::EffectiveVisibilitiesVisitor; 🔒

pub(crate) use hygiene::Macros20NormalizedSyntaxContext; 🔒

pub(crate) use imports::Import; 🔒

pub(crate) use imports::ImportData; 🔒

pub(crate) use imports::ImportKind; 🔒

pub(crate) use imports::NameResolution; 🔒

pub(crate) use imports::PendingDecl; 🔒

pub(crate) use late::ConstantRequiresType; 🔒

pub(crate) use late::ForwardGenericParamBanReason; 🔒

pub(crate) use late::HasGenericParams; 🔒

pub(crate) use late::PathSource; 🔒

pub(crate) use late::PatternSource; 🔒

pub(crate) use late::UnnecessaryQualification; 🔒

pub use macros::registered_lint_tools_ast;

pub(crate) use macros::MacroRulesDecl; 🔒

pub(crate) use macros::MacroRulesScope; 🔒

pub(crate) use macros::MacroRulesScopeRef; 🔒

pub(crate) use crate::diagnostics::impls::ImportSuggestion; 🔒

pub(crate) use crate::diagnostics::impls::LabelSuggestion; 🔒

pub(crate) use crate::diagnostics::impls::OnUnknownData; 🔒

pub(crate) use crate::diagnostics::impls::StructCtor; 🔒

pub(crate) use crate::diagnostics::impls::Suggestion; 🔒

pub(crate) use crate::imports::ImportResolution; 🔒

pub(crate) use crate::imports::NameResolutionRef; 🔒

pub(crate) use crate::ref_mut::speculative::SpeculativeFlag; 🔒

pub(crate) use crate::ref_mut::CmCell; 🔒

pub(crate) use crate::ref_mut::CmRef; 🔒

pub(crate) use crate::ref_mut::CmRefCell; 🔒

pub(crate) use rustc_hir::def::Namespace; 🔒

pub(crate) use std::cell::RefMut; 🔒

pub(crate) use std::collections::BTreeSet; 🔒

pub(crate) use std::ops::ControlFlow; 🔒

pub(crate) use Arc; 🔒

pub(crate) use OnceLock; 🔒

pub(crate) use fmt; 🔒

pub(crate) use mem; 🔒

pub(crate) use DroplessArena; 🔒

pub(crate) use TypedArena; 🔒

pub(crate) use rustc_ast::node_id::NodeMap; 🔒

pub(crate) use rustc_ast as ast; 🔒

pub(crate) use AngleBracketedArg; 🔒

pub(crate) use CRATE_NODE_ID; 🔒

pub(crate) use Crate; 🔒

pub(crate) use DUMMY_NODE_ID; 🔒

pub(crate) use Expr; 🔒

pub(crate) use ExprKind; 🔒

pub(crate) use GenericArg; 🔒

pub(crate) use GenericArgs; 🔒

pub(crate) use Generics; 🔒

pub(crate) use NodeId; 🔒

pub(crate) use Path; 🔒

pub(crate) use attr; 🔒

pub(crate) use LanguageItems; 🔒

pub(crate) use StrippedCfgItem; 🔒

pub(crate) use find_attr; 🔒

pub(crate) use FxHashMap; 🔒

pub(crate) use FxHashSet; 🔒

pub(crate) use FxIndexMap; 🔒

pub(crate) use FxIndexSet; 🔒

pub(crate) use default; 🔒

pub(crate) use rustc_data_structures::intern::Interned; 🔒

pub(crate) use rustc_data_structures::steal::Steal; 🔒

pub(crate) use FreezeReadGuard; 🔒

pub(crate) use FreezeWriteGuard; 🔒

pub(crate) use Lock; 🔒

pub(crate) use RwLock; 🔒

pub(crate) use WorkerLocal; 🔒

pub(crate) use UnordItems; 🔒

pub(crate) use UnordMap; 🔒

pub(crate) use UnordSet; 🔒

pub(crate) use Applicability; 🔒

pub(crate) use Diag; 🔒

pub(crate) use ErrCode; 🔒

pub(crate) use ErrorGuaranteed; 🔒

pub(crate) use LintBuffer; 🔒

pub(crate) use DeriveResolution; 🔒

pub(crate) use SyntaxExtension; 🔒

pub(crate) use SyntaxExtensionKind; 🔒

pub(crate) use BUILTIN_ATTRIBUTES; 🔒

pub(crate) use Features; 🔒

pub(crate) use Namespace; 🔒

pub(crate) use def; 🔒

pub(crate) use CtorOf; 🔒

pub(crate) use DefKind; 🔒

pub(crate) use MacroKinds; 🔒

pub(crate) use NonMacroAttrKind; 🔒

pub(crate) use PerNS; 🔒

pub(crate) use CRATE_DEF_ID; 🔒

pub(crate) use CrateNum; 🔒

pub(crate) use DefId; 🔒

pub(crate) use LOCAL_CRATE; 🔒

pub(crate) use LocalDefId; 🔒

pub(crate) use LocalDefIdMap; 🔒

pub(crate) use PerParentDisambiguatorState; 🔒

pub(crate) use PerParentDisambiguatorsMap; 🔒

pub(crate) use PrimTy; 🔒

pub(crate) use TraitCandidate; 🔒

pub(crate) use rustc_index::bit_set::DenseBitSet; 🔒

pub(crate) use rustc_lint_defs::builtin::PRIVATE_MACRO_USE; 🔒

pub(crate) use rustc_metadata::creader::CStore; 🔒

pub(crate) use rustc_middle::middle::privacy::EffectiveVisibilities; 🔒

pub(crate) use AmbigModChild; 🔒

pub(crate) use DelegationInfo; 🔒

pub(crate) use DelegationInherentFnKind; 🔒

pub(crate) use DocLinkResMap; 🔒

pub(crate) use MainDefinition; 🔒

pub(crate) use ModChild; 🔒

pub(crate) use PartialRes; 🔒

pub(crate) use PerOwnerResolverData; 🔒

pub(crate) use Reexport; 🔒

pub(crate) use ResolverAstLowering; 🔒

pub(crate) use ResolverGlobalCtxt; 🔒

pub(crate) use rustc_middle::query::Providers; 🔒

pub(crate) use ty; 🔒

pub(crate) use RegisteredTools; 🔒

pub(crate) use TyCtxt; 🔒

pub(crate) use TyCtxtFeed; 🔒

pub(crate) use Visibility; 🔒

pub(crate) use LocalModId; 🔒

pub(crate) use ModId; 🔒

pub(crate) use ExpnId; 🔒

pub(crate) use LocalExpnId; 🔒

pub(crate) use MacroKind; 🔒

pub(crate) use SyntaxContext; 🔒

pub(crate) use Transparency; 🔒

pub(crate) use DUMMY_SP; 🔒

pub(crate) use Ident; 🔒

pub(crate) use OrdSpan; 🔒

pub(crate) use Span; 🔒

pub(crate) use Symbol; 🔒

pub(crate) use bug; 🔒

pub(crate) use kw; 🔒

pub(crate) use span_bug; 🔒

pub(crate) use sym; 🔒

pub(crate) use rustc_structures::CrateType; 🔒

pub(crate) use SmallVec; 🔒

pub(crate) use smallvec; 🔒

pub(crate) use debug; 🔒

pub(crate) use instrument; 🔒

pub(crate) use instrument; 🔒

pub(crate) use rustc_hir::def::Namespace::*; 🔒

Modules

build_reduced_graph 🔒

After we obtain a fresh AST fragment from a macro, code in this module helps to integrate that fragment into the module structures that are already partially built.

check_unused 🔒

def_collector 🔒

diagnostics 🔒

effective_visibilities 🔒

hygiene 🔒

ident 🔒

imports 🔒

A bunch of methods and structures more or less related to resolving imports.

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.

macros 🔒

A bunch of methods and structures more or less related to resolving macros and interface provided by Resolver to macro expander.

ref_mut 🔒

rustdoc

Structs

AmbiguityError 🔒

BindingError 🔒

BindingKey 🔒

A key that identifies a binding in a given Module.

DeclData 🔒

Data associated with any name declaration.

DelayedVisResolutionError 🔒

DelegationFnSig 🔒

DeriveData 🔒

ExternModule 🔒

Same as Module, but is guaranteed to be from an external crate.

ExternPreludeEntry 🔒

Finalize 🔒

Invariant: if Finalize is used, expansion and import resolution must be complete.

IdentKey 🔒

Combination of a symbol and its macros 2.0 normalized hygiene context. Used as a key in various kinds of name containers, including modules (as a part of slightly larger BindingKey) and preludes.

ImportSummary 🔒

Parts of import data required for finalizing import resolution. Does not carry a lifetime, so it can be stored in Finalize.

InvocationParent 🔒

LocalModule 🔒

Same as Module, but is guaranteed to be from the current crate.

Module 🔒

Interned is used because values of this type have “identity” and compare as unequal even if they have the same contents.

ModuleData 🔒

One node in the tree of modules.

ParentScope 🔒

Everything you need to know about a name’s location to resolve it. Serves as a starting point for the scope visitor. This struct is currently used only for early resolution (imports and macros), but not for late resolution yet.

PrivacyError 🔒

Resolver

The main resolver class.

ResolverArenas

This provides memory for the rest of the crate. The 'ra lifetime that is used by many types in this crate is an abbreviation of ResolverArenas.

ResolverOutputs

Segment 🔒

A minimal representation of a path segment. We use this in resolve because we synthesize ‘path segments’ which don’t have the rest of an AST or HIR PathSegment.

UseError 🔒

Enums

AmbiguityKind 🔒

AmbiguityWarning 🔒

DeclKind 🔒

Name declaration kind.

Determinacy 🔒

ImplTraitContext 🔒

LateDecl 🔒

Name declaration used during late resolution.

ModuleKind 🔒

ModuleOrUniformRoot 🔒

PathResult 🔒

ResolutionError 🔒

Resolutions 🔒

Scope 🔒

A specific scope in which a name can be looked up.

ScopeSet 🔒

Names from different contexts may want to visit different subsets of all specific scopes with different restrictions when looking up the resolution.

Stage 🔒

Used 🔒

Used for tracking import use types which will be used for redundant import checking.

VisResolutionError 🔒

Functions

build_extern_prelude 🔒

module_to_string 🔒

A somewhat inefficient routine to obtain the name of a module.

names_to_string 🔒

path_names_to_string 🔒

provide

with_owner 🔒

with_owner_tables 🔒

Type Aliases

CmResolver 🔒

A wrapper around &mut Resolver that may be mutable or immutable, depending on a conditions.

Decl 🔒

Interned is used because values of this type have “identity” and compare as unequal even if they have the same contents.

Res 🔒

ResolutionTable 🔒