Enum PatternKind 

#[repr(u32)]
pub enum PatternKind {
    Wildcard = 0,
    Int = 1,
    Bool = 2,
    Path = 3,
    DataVariant = 4,
    StructVariant = 5,
    Ident = 6,
    Tuple = 7,
    Struct = 8,
    ComptimeUnrollArm = 9,
}

Stored representation of match arm in the extra array. Layout: pattern data + [body: u32] Pattern data varies by kind (see PatternKind enum). Pattern kinds encoded in extra array

Variants

Wildcard = 0

Wildcard pattern: [kind, span_start, span_len]

Int = 1

Int pattern: [kind, span_start, span_len, value_lo, value_hi]

Bool = 2

Bool pattern: [kind, span_start, span_len, value]

Path = 3

Path pattern: [kind, span_start, span_len, module, type_name, variant] module is u32::MAX for None, otherwise an InstRef

DataVariant = 4

Data variant pattern: [kind, span_start, span_len, module, type_name, variant, body, bindings_len, (flags, name)…] Each binding is 2 u32s: flags (bit0=is_wildcard, bit1=is_mut), name (Spur, u32::MAX if wildcard)

StructVariant = 5

Struct variant pattern: [kind, span_start, span_len, module, type_name, variant, body, bindings_len, (field_name, flags, binding_name)…] Each field binding is 3 u32s: field_name (Spur), flags (bit0=is_wildcard, bit1=is_mut), binding_name (Spur, u32::MAX if wildcard)

Ident = 6

ADR-0051 Ident pattern: [kind, span_start, span_len, body, name, flags] flags bit 0 = is_mut.

Tuple = 7

ADR-0051 Tuple pattern: [kind, span_start, span_len, body, elems_len, …recursive_tree per elem]

Struct = 8

ADR-0051 Struct pattern: [kind, span_start, span_len, body, module_raw, type_name, has_rest, fields_len, (field_name, …recursive_tree) * fields_len]

ComptimeUnrollArm = 9

ADR-0079 Phase 3 unroll arm template: [kind, span_start, span_len, body, binding, iterable]

Trait Implementations

impl Clone for PatternKind

fn clone(&self) -> PatternKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PatternKind

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for PatternKind

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for PatternKind

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Serialize for PatternKind

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for PatternKind

impl Eq for PatternKind

impl StructuralPartialEq for PatternKind