Module desugar

Source

ModulesΒ§

lift πŸ”’
β€œLift” HIR types into FHIR types.

StructsΒ§

FluxItemCtxt πŸ”’
RustItemCtxt πŸ”’

TraitsΒ§

DesugarCtxt πŸ”’

FunctionsΒ§

collect_generics_in_params πŸ”’
Collect all sorts resolved to a generic type in a list of refinement parameters. Return the set of generic def_ids used (sorted by their position in the list of generics).
desugar_qualifier πŸ”’
desugar_spec_func πŸ”’

Type AliasesΒ§

Result πŸ”’