Trait rustc_mir_build::thir::pattern::PatternFoldable

trait PatternFoldable<'tcx>: Sized {
    // Required method
    fn super_fold_with<F: PatternFolder<'tcx>>(&self, folder: &mut F) -> Self;

    // Provided method
    fn fold_with<F: PatternFolder<'tcx>>(&self, folder: &mut F) -> Self { ... }
}

Required Methods

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

Provided Methods

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

Implementations on Foreign Types

impl<'tcx, T: PatternFoldable<'tcx>> PatternFoldable<'tcx> for Vec<T>

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

impl<'tcx> PatternFoldable<'tcx> for UserType<'tcx>

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

impl<'tcx> PatternFoldable<'tcx> for Ty<'tcx>

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

impl<'tcx> PatternFoldable<'tcx> for &'tcx GenericArg<'tcx>

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

impl<'tcx> PatternFoldable<'tcx> for BindingMode

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

impl<'tcx> PatternFoldable<'tcx> for Mutability

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

impl<'tcx> PatternFoldable<'tcx> for usize

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

impl<'tcx> PatternFoldable<'tcx> for GenericArgsRef<'tcx>

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

impl<'tcx, T: PatternFoldable<'tcx>> PatternFoldable<'tcx> for Option<T>

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

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> PatternFoldable<'tcx> for FieldPat<'tcx>

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

impl<'tcx, T: PatternFoldable<'tcx>> PatternFoldable<'tcx> for Box<[T]>

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

impl<'tcx> PatternFoldable<'tcx> for FieldIdx

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

impl<'tcx> PatternFoldable<'tcx> for AdtDef<'tcx>

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

impl<'tcx> PatternFoldable<'tcx> for Region<'tcx>

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

impl<'tcx> PatternFoldable<'tcx> for LocalVarId

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

impl<'tcx> PatternFoldable<'tcx> for PatKind<'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> PatternFoldable<'tcx> for Span

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

impl<'tcx> PatternFoldable<'tcx> for Symbol

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

impl<'tcx> PatternFoldable<'tcx> for CanonicalUserTypeAnnotation<'tcx>

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

impl<'tcx, T: PatternFoldable<'tcx>> PatternFoldable<'tcx> for Box<T>

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

impl<'tcx> PatternFoldable<'tcx> for UserTypeProjection

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

Implementors