Enum PatKind 

pub(crate) enum PatKind<'db> {
    Wild,
    Never,
    Binding {
        name: Name,
        subpattern: Option<Pat<'db>>,
    },
    Variant {
        substs: GenericArgs<'db>,
        enum_variant: EnumVariantId,
        subpatterns: Vec<FieldPat<'db>>,
    },
    Leaf {
        subpatterns: Vec<FieldPat<'db>>,
    },
    Deref {
        subpattern: Pat<'db>,
    },
    LiteralBool {
        value: bool,
    },
    Or {
        pats: Vec<Pat<'db>>,
    },
}

Close relative to rustc_mir_build::thir::pattern::PatKind

Variants

Wild

Never

Binding

x, ref x, x @ P, etc.

Fields

name: Name

subpattern: Option<Pat<'db>>

Variant

Foo(...) or Foo{...} or Foo, where Foo is a variant name from an ADT with multiple variants.

Fields

substs: GenericArgs<'db>

enum_variant: EnumVariantId

subpatterns: Vec<FieldPat<'db>>

Leaf

(...), Foo(...), Foo{...}, or Foo, where Foo is a variant name from an ADT with a single variant.

Fields

subpatterns: Vec<FieldPat<'db>>

Deref

&P, &mut P, etc.

Fields

subpattern: Pat<'db>

LiteralBool

Fields

value: bool

Or

An or-pattern, e.g. p | q. Invariant: pats.len() >= 2.

Fields

pats: Vec<Pat<'db>>

Trait Implementations

impl<'db> Clone for PatKind<'db>

fn clone(&self) -> PatKind<'db>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'db> Debug for PatKind<'db>

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

Formats the value using the given formatter.

impl<'db> PartialEq for PatKind<'db>

fn eq(&self, other: &PatKind<'db>) -> 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<'db> StructuralPartialEq for PatKind<'db>