Module resolver 

Modules

errors 🔒

refinement_resolver 🔒

Structs

CrateResolver 🔒

DefinitionMap 🔒

Map to keep track of names defined in a scope

ItemResolver 🔒

Module 🔒

Akin to rustc_resolve::Module but specialized to what we support

OpaqueTypeCollector 🔒

Rib 🔒

Enums

ModuleKind 🔒

Akin to rustc_resolve::ModuleKind but specialized to what we support

RibKind 🔒

Traits

Segment 🔒

Abstraction over a “segment” so we can use CrateResolver::resolve_path_with_ribs with paths from different sources (e.g., surface::PathSegment, surface::ExprPathSegment)

Functions

builtin_types_rib 🔒

is_prelude_import 🔒

Return true if the item has a #[prelude_import] annotation

mk_crate_mapping 🔒

module_children 🔒

resolve_crate 🔒

try_resolve_crate 🔒

visible_module_children 🔒

Iterator over module children visible form curr_mod

Type Aliases

Result 🔒