Struct rustc_middle::thir::Pat

pub struct Pat<'tcx> {
    pub ty: Ty<'tcx>,
    pub span: Span,
    pub kind: PatKind<'tcx>,
}

Fields

ty: Ty<'tcx>

span: Span

kind: PatKind<'tcx>

Implementations

impl<'tcx> Pat<'tcx>

pub fn wildcard_from_ty(ty: Ty<'tcx>) -> Self

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

pub fn each_binding(&self, f: impl FnMut(Symbol, BindingMode, Ty<'tcx>, Span))

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

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

Walk the pattern in left-to-right order.

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

fn walk_(&self, it: &mut impl FnMut(&Pat<'tcx>) -> bool)

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

Walk the pattern in left-to-right order.

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

Trait Implementations

impl<'tcx> Clone for Pat<'tcx>

fn clone(&self) -> Pat<'tcx>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for Pat<'tcx>

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

Formats the value using the given formatter.

impl<'tcx> Display for Pat<'tcx>

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

Formats the value using the given formatter.

impl<'tcx, '__ctx> HashStable<StableHashingContext<'__ctx>> for Pat<'tcx>

fn hash_stable( &self, __hcx: &mut StableHashingContext<'__ctx>, __hasher: &mut StableHasher )

impl<'tcx> IntoDiagnosticArg for Pat<'tcx>

fn into_diagnostic_arg(self) -> DiagnosticArgValue<'static>

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 64 bytes