Enum rustc_ap_rustc_ast::ast::PatKind [−][src]
pub enum PatKind {}Show variants
Wild, Ident(BindingMode, Ident, Option<P<Pat>>), Struct(Option<QSelf>, Path, Vec<PatField>, bool), TupleStruct(Option<QSelf>, Path, Vec<P<Pat>>), Or(Vec<P<Pat>>), Path(Option<QSelf>, Path), Tuple(Vec<P<Pat>>), Box(P<Pat>), Ref(P<Pat>, Mutability), Lit(P<Expr>), Range(Option<P<Expr>>, Option<P<Expr>>, Spanned<RangeEnd>), Slice(Vec<P<Pat>>), Rest, Paren(P<Pat>), MacCall(MacCall),
Variants
Represents a wildcard pattern (_
).
Ident(BindingMode, Ident, Option<P<Pat>>)
A PatKind::Ident
may either be a new bound variable (ref mut binding @ OPT_SUBPATTERN
),
or a unit struct/variant pattern, or a const pattern (in the last two cases the third
field must be None
). Disambiguation cannot be done with parser alone, so it happens
during name resolution.
A struct or struct variant pattern (e.g., Variant {x, y, ..}
).
The bool
is true
in the presence of a ..
.
A tuple struct/variant pattern (Variant(x, y, .., z)
).
An or-pattern A | B | C
.
Invariant: pats.len() >= 2
.
A possibly qualified path pattern.
Unqualified path patterns A::B::C
can legally refer to variants, structs, constants
or associated constants. Qualified path patterns <A>::B::C
/<A as Trait>::B::C
can
only legally refer to associated constants.
A tuple pattern ((a, b)
).
A box
pattern.
Ref(P<Pat>, Mutability)
A reference pattern (e.g., &mut (a, b)
).
A literal.
A range pattern (e.g., 1...2
, 1..=2
or 1..2
).
A slice pattern [a, b, c]
.
A rest pattern ..
.
Syntactically it is valid anywhere.
Semantically however, it only has meaning immediately inside:
- a slice pattern:
[a, .., b]
, - a binding pattern immediately inside a slice pattern:
[a, r @ ..]
, - a tuple pattern:
(a, .., b)
, - a tuple struct/variant pattern:
$path(a, .., b)
.
In all of these cases, an additional restriction applies, only one rest pattern may occur in the pattern sequences.
Parentheses in patterns used for grouping (i.e., (PAT)
).
MacCall(MacCall)
A macro pattern; pre-expansion.
Trait Implementations
Auto Trait Implementations
impl !RefUnwindSafe for PatKind
impl !UnwindSafe for PatKind
Blanket Implementations
Mutably borrows from an owned value. Read more
Instruments this type with the provided Span
, returning an
Instrumented
wrapper. Read more
type Output = T
type Output = T
Should always be Self
pub fn vzip(self) -> V