Enum ra_ap_rustc_pattern_analysis::constructor::Constructor

pub enum Constructor<Cx: TypeCx> {
    Struct,
    Variant(Cx::VariantIdx),
    Ref,
    Slice(Slice),
    UnionField,
    Bool(bool),
    IntRange(IntRange),
    F32Range(IeeeFloat<SingleS>, IeeeFloat<SingleS>, RangeEnd),
    F64Range(IeeeFloat<DoubleS>, IeeeFloat<DoubleS>, RangeEnd),
    Str(Cx::StrLit),
    Opaque(OpaqueId),
    Or,
    Wildcard,
    NonExhaustive,
    Hidden,
    Missing,
}

A value can be decomposed into a constructor applied to some fields. This struct represents the constructor. See also Fields.

pat_constructor retrieves the constructor corresponding to a pattern. specialize_constructor returns the list of fields corresponding to a pattern, given a constructor. Constructor::apply reconstructs the pattern from a pair of Constructor and Fields.

Variants

Struct

Tuples and structs.

Variant(Cx::VariantIdx)

Enum variants.

Ref

References

Slice(Slice)

Array and slice patterns.

UnionField

Union field accesses.

Bool(bool)

Booleans

IntRange(IntRange)

Ranges of integer literal values (2, 2..=5 or 2..5).

F32Range(IeeeFloat<SingleS>, IeeeFloat<SingleS>, RangeEnd)

Ranges of floating-point literal values (2.0..=5.2).

F64Range(IeeeFloat<DoubleS>, IeeeFloat<DoubleS>, RangeEnd)

Str(Cx::StrLit)

String literals. Strings are not quite the same as &[u8] so we treat them separately.

Opaque(OpaqueId)

Constants that must not be matched structurally. They are treated as black boxes for the purposes of exhaustiveness: we must not inspect them, and they don’t count towards making a match exhaustive. Carries an id that must be unique within a match. We need this to ensure the invariants of SplitConstructorSet.

Or

Or-pattern.

Wildcard

Wildcard pattern.

NonExhaustive

Fake extra constructor for enums that aren’t allowed to be matched exhaustively. Also used for those types for which we cannot list constructors explicitly, like f64 and str.

Hidden

Fake extra constructor for variants that should not be mentioned in diagnostics. We use this for variants behind an unstable gate as well as #[doc(hidden)] ones.

Missing

Fake extra constructor for constructors that are not seen in the matrix, as explained at the top of the file.

Trait Implementations

impl<Cx: TypeCx> Clone for Constructor<Cx>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Cx: TypeCx> Debug for Constructor<Cx>

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

Formats the value using the given formatter.

impl<Cx: TypeCx> PartialEq for Constructor<Cx>

fn eq(&self, other: &Self) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.