Module desugar

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 🔒