Enum Pattern 

pub enum Pattern {
    Ident {
        id: HirId,
        name: Symbol,
        mutable: bool,
        ty: Ty,
    },
    Wildcard {
        id: HirId,
        ty: Ty,
    },
    Tuple {
        id: HirId,
        patterns: Vec<Self>,
        ty: Ty,
    },
    Struct {
        id: HirId,
        def_id: HirId,
        fields: Vec<FieldPattern>,
        ty: Ty,
    },
    Variant {
        id: HirId,
        enum_name: Symbol,
        variant_name: Symbol,
        fields: Vec<Self>,
        ty: Ty,
    },
    Literal {
        id: HirId,
        value: LitValue,
        ty: Ty,
    },
    Or {
        id: HirId,
        patterns: Vec<Self>,
        ty: Ty,
    },
    Range {
        id: HirId,
        lo: LitValue,
        hi: LitValue,
        inclusive: bool,
        ty: Ty,
    },
}

Pattern (simplified from AST)

Variants

Ident

Identifier pattern

Fields

id: HirId

name: Symbol

mutable: bool

ty: Ty

Wildcard

Wildcard pattern

Fields

id: HirId

ty: Ty

Tuple

Tuple pattern

Fields

id: HirId

patterns: Vec<Self>

ty: Ty

Struct

Struct pattern

Fields

id: HirId

def_id: HirId

fields: Vec<FieldPattern>

ty: Ty

Variant

Enum variant pattern (e.g., Result::Ok(value), Option::Some(x))

Fields

id: HirId

enum_name: Symbol

variant_name: Symbol

fields: Vec<Self>

ty: Ty

Literal

Literal pattern (e.g., ‘a’, 42, true)

Fields

id: HirId

value: LitValue

ty: Ty

Or

Or-pattern (e.g., 1 | 2 | 3)

Fields

id: HirId

patterns: Vec<Self>

ty: Ty

Range

Range pattern (e.g., 1..=10, 'a'..='z')

Fields

id: HirId

lo: LitValue

hi: LitValue

inclusive: bool

ty: Ty

Implementations

impl Pattern

pub const fn ty(&self) -> &Ty

Get the type of this pattern

Trait Implementations

impl Clone for Pattern

fn clone(&self) -> Pattern

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Pattern

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

Formats the value using the given formatter.