Struct rustc_hir::hir::Pat

pub struct Pat<'hir> {
    pub hir_id: HirId,
    pub kind: PatKind<'hir>,
    pub span: Span,
    pub default_binding_modes: bool,
}

Fields

hir_id: HirId

kind: PatKind<'hir>

span: Span

default_binding_modes: bool

Implementations

impl<'_> Pat<'_>

pub(in hir) fn walk_short_(
    &self,
    it: &mut impl FnMut(&Pat<'_>) -> bool
) -> bool

pub fn walk_short(&self, it: impl FnMut(&Pat<'_>) -> bool) -> bool

Walk the pattern in left-to-right order, short circuiting (with .all(..)) if false is returned.

Note that when visiting e.g. Tuple(ps), if visiting ps[0] returns false, then ps[1] will not be visited.

pub(in hir) fn walk_(
    &self,
    it: &mut impl FnMut(&Pat<'_>) -> bool
)

pub fn walk(&self, it: impl FnMut(&Pat<'_>) -> bool)

Walk the pattern in left-to-right order.

If it(pat) returns false, the children are not visited.

pub fn walk_always(&self, it: impl FnMut(&Pat<'_>))

Walk the pattern in left-to-right order.

If you always want to recurse, prefer this method over walk.

impl<'_> Pat<'_>

pub fn each_binding(&self, f: impl FnMut(BindingAnnotation, HirId, Span, Ident))

Call f on every "binding" in a pattern, e.g., on a in match foo() { Some(a) => (), None => () }

pub fn each_binding_or_first(
    &self,
    f: &mut impl FnMut(BindingAnnotation, HirId, Span, Ident)
)

Call f on every "binding" in a pattern, e.g., on a in match foo() { Some(a) => (), None => () }.

When encountering an or-pattern p_0 | ... | p_n only p_0 will be visited.

pub fn contains_bindings(&self) -> bool

Checks if the pattern contains any patterns that bind something to an ident, e.g., foo, or Foo(foo) or foo @ Bar(..).

pub(in pat_util) fn satisfies(
    &self,
    pred: impl Fn(&Pat<'_>) -> bool
) -> bool

Checks if the pattern satisfies the given predicate on some sub-pattern.

pub fn simple_ident(&self) -> Option<Ident>

pub fn necessary_variants(&self) -> Vec<DefId>

Returns variants that are necessary to exist for the pattern to match.

pub fn contains_explicit_ref_binding(&self) -> Option<Mutability>

Checks if the pattern contains any ref or ref mut bindings, and if yes whether it contains mutable or just immutables ones.

Trait Implementations

impl<'hir> Debug for Pat<'hir>

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

Formats the value using the given formatter.

impl<'hir, __CTX> HashStable<__CTX> for Pat<'hir> where
    __CTX: HashStableContext, 

pub fn hash_stable(&self, __hcx: &mut __CTX, __hasher: &mut StableHasher)