Enum hir_def::hir::Pat

pub enum Pat {
    Missing,
    Wild,
    Tuple {
        args: Box<[PatId]>,
        ellipsis: Option<u32>,
    },
    Or(Box<[PatId]>),
    Record {
        path: Option<Box<Path>>,
        args: Box<[RecordFieldPat]>,
        ellipsis: bool,
    },
    Range {
        start: Option<Box<LiteralOrConst>>,
        end: Option<Box<LiteralOrConst>>,
    },
    Slice {
        prefix: Box<[PatId]>,
        slice: Option<PatId>,
        suffix: Box<[PatId]>,
    },
    Path(Path),
    Lit(ExprId),
    Bind {
        id: BindingId,
        subpat: Option<PatId>,
    },
    TupleStruct {
        path: Option<Box<Path>>,
        args: Box<[PatId]>,
        ellipsis: Option<u32>,
    },
    Ref {
        pat: PatId,
        mutability: Mutability,
    },
    Box {
        inner: PatId,
    },
    ConstBlock(ExprId),
    Expr(ExprId),
}

Close relative to rustc’s hir::PatKind

Variants

Missing

Wild

Tuple

Fields

args: Box<[PatId]>

ellipsis: Option<u32>

Or(Box<[PatId]>)

Record

Fields

path: Option<Box<Path>>

args: Box<[RecordFieldPat]>

ellipsis: bool

Range

Fields

start: Option<Box<LiteralOrConst>>

end: Option<Box<LiteralOrConst>>

Slice

Fields

prefix: Box<[PatId]>

slice: Option<PatId>

suffix: Box<[PatId]>

Path(Path)

This might refer to a variable if a single segment path (specifically, on destructuring assignment).

Lit(ExprId)

Bind

Fields

id: BindingId

subpat: Option<PatId>

TupleStruct

Fields

path: Option<Box<Path>>

args: Box<[PatId]>

ellipsis: Option<u32>

Ref

Fields

pat: PatId

mutability: Mutability

Box

Fields

inner: PatId

ConstBlock(ExprId)

Expr(ExprId)

An expression inside a pattern. That can only occur inside assignments.

E.g. in (a, *b) = (1, &mut 2), *b is an expression.

Implementations

impl Pat

pub fn walk_child_pats(&self, f: impl FnMut(PatId))

Trait Implementations

impl Clone for Pat

fn clone(&self) -> Pat

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Pat

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

Formats the value using the given formatter.

impl PartialEq for Pat

fn eq(&self, other: &Pat) -> 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 Eq for Pat

impl StructuralPartialEq for Pat