#[non_exhaustive]
pub enum Pat {
Show 17 variants
Const(PatConst),
Ident(PatIdent),
Lit(PatLit),
Macro(PatMacro),
Or(PatOr),
Paren(PatParen),
Path(PatPath),
Range(PatRange),
Reference(PatReference),
Rest(PatRest),
Slice(PatSlice),
Struct(PatStruct),
Tuple(PatTuple),
TupleStruct(PatTupleStruct),
Type(PatType),
Verbatim(TokenStream),
Wild(PatWild),
}Expand description
A pattern in a local binding, function signature, match expression, or various other places.
Syntax tree enum
This type is a syntax tree enum.
Variants (Non-exhaustive)§
This enum is marked as non-exhaustive
Const(PatConst)
A const block: const { ... }.
Ident(PatIdent)
A pattern that binds a new variable: ref mut binding @ SUBPATTERN.
Lit(PatLit)
A literal pattern: 0.
Macro(PatMacro)
A macro in pattern position.
Or(PatOr)
A pattern that matches any one of a set of cases.
Paren(PatParen)
A parenthesized pattern: (A | B).
Path(PatPath)
A path pattern like Color::Red, optionally qualified with a
self-type.
Unqualified path patterns can legally refer to variants, structs,
constants or associated constants. Qualified path patterns like
<A>::B::C and <A as Trait>::B::C can only legally refer to
associated constants.
Range(PatRange)
A range pattern: 1..=2.
Reference(PatReference)
A reference pattern: &mut var.
Rest(PatRest)
The dots in a tuple or slice pattern: [0, 1, ..].
Slice(PatSlice)
A dynamically sized slice pattern: [a, b, ref i @ .., y, z].
Struct(PatStruct)
A struct or struct variant pattern: Variant { x, y, .. }.
Tuple(PatTuple)
A tuple pattern: (a, b).
TupleStruct(PatTupleStruct)
A tuple struct or tuple variant pattern: Variant(x, y, .., z).
Type(PatType)
A type ascription pattern: foo: f64.
Verbatim(TokenStream)
Tokens in pattern position not interpreted by Syn.
Wild(PatWild)
A pattern that matches any value: _.