Struct rustc_mir_build::thir::pattern::deconstruct_pat::SplitConstructorSet

pub(super) struct SplitConstructorSet<'tcx> {
    pub(super) present: SmallVec<[Constructor<'tcx>; 1]>,
    pub(super) missing: Vec<Constructor<'tcx>>,
}

Describes the result of analyzing the constructors in a column of a match.

present is morally the set of constructors present in the column, and missing is the set of constructors that exist in the type but are not present in the column.

More formally, they respect the following constraints:

• the union of present and missing covers the whole type
• present and missing are disjoint
• neither contains wildcards
• each constructor in present is covered by some non-wildcard constructor in the column
• together, the constructors in present cover all the non-wildcard constructor in the column
• non-wildcards in the column do no cover anything in missing
• constructors in present and missing are split for the column; in other words, they are either fully included in or disjoint from each constructor in the column. This avoids non-trivial intersections like between 0..10 and 5..15.

Fields

present: SmallVec<[Constructor<'tcx>; 1]>

missing: Vec<Constructor<'tcx>>

Trait Implementations

impl<'tcx> Debug for SplitConstructorSet<'tcx>

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

Formats the value using the given formatter.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 88 bytes