Module desugar 

Modules

lift 🔒

“Lift” HIR types into FHIR types.

Structs

FluxItemCtxt 🔒

OpaqueTypeCollector 🔒

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).

collect_opaque_types 🔒

Traverses the hir for an item and collects the def_id of any opaque type (i.e., impl Trait or async) Currently, we only support up to one opaque type and we report an error if there’s more than one.

Type Aliases

Result 🔒