Struct rustc_mir_build::thir::pattern::Pat

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

Fields

ty: Ty<'tcx>

span: Span

kind: Box<PatKind<'tcx>>

Implementations

impl<'tcx> Pat<'tcx>

pub(super) fn is_wildcard(&self) -> bool

fn is_or_pat(&self) -> bool

fn expand_or_pat(&self) -> Vec<&Self>

Recursively expand this pattern into its subpatterns. Only useful for or-patterns.

impl<'tcx> Pat<'tcx>

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

impl<'a, 'tcx> Pat<'tcx>

pub(crate) fn from_hir(
    tcx: TyCtxt<'tcx>,
    param_env: ParamEnv<'tcx>,
    typeck_results: &'a TypeckResults<'tcx>,
    pat: &'tcx Pat<'tcx>
) -> Self

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<'p, 'tcx> FromIterator<&'p Pat<'tcx>> for PatStack<'p, 'tcx>

fn from_iter<T>(iter: T) -> Self where
    T: IntoIterator<Item = &'p Pat<'tcx>>, 

Creates a value from an iterator.

impl<'tcx> PartialEq<Pat<'tcx>> for Pat<'tcx>

fn eq(&self, other: &Pat<'tcx>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Pat<'tcx>) -> bool

This method tests for !=.

impl<'tcx> PatternFoldable<'tcx> for Pat<'tcx>

fn fold_with<F: PatternFolder<'tcx>>(&self, folder: &mut F) -> Self

fn super_fold_with<F: PatternFolder<'tcx>>(&self, folder: &mut F) -> Self

impl<'tcx> StructuralPartialEq for Pat<'tcx>