List of all items

Structs

• CrateDesugar
• DesugarCtxt
• desugar::FluxItemCtxt
• desugar::RustItemCtxt
• desugar::lift::errors::UnsupportedHir
• errors::IntTooLarge
• errors::InvalidAliasReft
• errors::InvalidConstructorPath
• errors::InvalidLoc
• errors::InvalidNumericSuffix
• errors::InvalidReflectedVariant
• errors::InvalidVariantRet
• errors::MultipleSpreadsInConstructor
• errors::UnexpectedLiteral
• errors::UnsupportedPosition
• resolver::CrateResolver
• resolver::EnumVariants
• resolver::ItemResolver
• resolver::Module
• resolver::OpaqueTypeCollector
• resolver::Rib
• resolver::errors::UnknownQualifier
• resolver::errors::UnresolvedPath
• resolver::errors::UnsupportedSignature
• resolver::refinement_resolver::IllegalBinderVisitor
• resolver::refinement_resolver::ImplicitParamCollector
• resolver::refinement_resolver::ParamDef
• resolver::refinement_resolver::ParamRes
• resolver::refinement_resolver::RefinementResolver
• resolver::refinement_resolver::Scope
• resolver::refinement_resolver::ScopedVisitorWrapper
• resolver::refinement_resolver::Sorts
• resolver::refinement_resolver::errors::DuplicateParam
• resolver::refinement_resolver::errors::IllegalBinder
• resolver::refinement_resolver::errors::InvalidUnrefinedParam
• resolver::refinement_resolver::errors::UnresolvedSort
• resolver::refinement_resolver::errors::UnresolvedVar

Enums

• resolver::ModuleKind
• resolver::RibKind
• resolver::refinement_resolver::ScopeKind

Traits

• desugar::DesugarCtxt
• resolver::Segment
• resolver::refinement_resolver::ScopedVisitor

Macros

• resolver::refinement_resolver::define_resolve_num_const

Functions

• desugar
• desugar::collect_generics_in_params
• desugar::desugar_qualifier
• desugar::desugar_spec_func
• desugar_crate
• provide
• resolver::builtin_types_rib
• resolver::is_prelude_import
• resolver::mk_crate_mapping
• resolver::module_children
• resolver::refinement_resolver::resolve_num_const
• resolver::resolve_crate
• resolver::try_resolve_crate
• resolver::visible_module_children
• try_desugar_crate

Type Aliases

• Result
• desugar::Result
• desugar::lift::Result
• resolver::Result
• resolver::refinement_resolver::Result

Statics

• DEFAULT_LOCALE_RESOURCE
• resolver::refinement_resolver::SORTS