Module resolver

Source

Modulesยง

errors ๐Ÿ”’
refinement_resolver ๐Ÿ”’

Structsยง

CrateResolver ๐Ÿ”’
EnumVariants ๐Ÿ”’
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 surface::PathSegment and 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 ๐Ÿ”’