Enum flux_fhir_analysis::conv::LayerKind

enum LayerKind {
    List {
        bound_regions: u32,
    },
    Coalesce(DefId),
}

Whether the list of parameters in a layer is converted into a list of bound variables or coalesced into a single parameter of adt sort.

Variants

List

Fields

bound_regions: u32

The number of regions bound in this layer. Since regions and refinements are both bound with a rty::Binder we need to keep track of the number of bound regions to skip them when assigning an index to refinement parameters.

Coalesce(DefId)

Trait Implementations

impl Clone for LayerKind

fn clone(&self) -> LayerKind

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for LayerKind

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Copy for LayerKind