rustc_infer::infer::canonical::ir::fold

Trait TypeFoldable

pub trait TypeFoldable<I>: TypeVisitable<I>where
    I: Interner,{
    // Required method
    fn try_fold_with<F>(
        self,
        folder: &mut F,
    ) -> Result<Self, <F as FallibleTypeFolder<I>>::Error>
       where F: FallibleTypeFolder<I>;

    // Provided method
    fn fold_with<F>(self, folder: &mut F) -> Self
       where F: TypeFolder<I> { ... }
}

Expand description

This trait is implemented for every type that can be folded, providing the skeleton of the traversal.

To implement this conveniently, use the derive macro located in rustc_macros.

This trait is a sub-trait of TypeVisitable. This is because many TypeFolder instances use the methods in TypeVisitableExt while folding, which means in practice almost every foldable type needs to also be visitable. (However, there are some types that are visitable without being foldable.)

Required Methods§

Source

fn try_fold_with<F>( self, folder: &mut F, ) -> Result<Self, <F as FallibleTypeFolder>::Error>
where F: FallibleTypeFolder,

The entry point for folding. To fold a value t with a folder f call: t.try_fold_with(f).

For most types, this just traverses the value, calling try_fold_with on each field/element.

For types of interest (such as Ty), the implementation of this method calls a folder method specifically for that type (such as F::try_fold_ty). This is where control transfers from TypeFoldable to TypeFolder.

Provided Methods§

Source

fn fold_with<F>(self, folder: &mut F) -> Self
where F: TypeFolder,

A convenient alternative to try_fold_with for use with infallible folders. Do not override this method, to ensure coherence with try_fold_with.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Trait TypeFoldableCopy item path

Required Methods§

fn try_fold_with<F>( self, folder: &mut F, ) -> Result<Self, <F as FallibleTypeFolder<I>>::Error>where F: FallibleTypeFolder<I>,

Provided Methods§

fn fold_with<F>(self, folder: &mut F) -> Selfwhere F: TypeFolder<I>,

Dyn Compatibility§

Implementations on Foreign Types§

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for &'tcx [InlineAsmTemplatePiece]

fn try_fold_with<F>( self, _folder: &mut F, ) -> Result<&'tcx [InlineAsmTemplatePiece], <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>where F: FallibleTypeFolder<TyCtxt<'tcx>>,

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for &'tcx [Span]

fn try_fold_with<F>( self, _folder: &mut F, ) -> Result<&'tcx [Span], <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>where F: FallibleTypeFolder<TyCtxt<'tcx>>,

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for ByRef

fn try_fold_with<F>( self, _: &mut F, ) -> Result<ByRef, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>where F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn fold_with<F>(self, _: &mut F) -> ByRefwhere F: TypeFolder<TyCtxt<'tcx>>,

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for InlineAsmTemplatePiece

fn try_fold_with<F>( self, _: &mut F, ) -> Result<InlineAsmTemplatePiece, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>where F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn fold_with<F>(self, _: &mut F) -> InlineAsmTemplatePiecewhere F: TypeFolder<TyCtxt<'tcx>>,

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for Res

fn try_fold_with<F>( self, _: &mut F, ) -> Result<Res, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>where F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn fold_with<F>(self, _: &mut F) -> Reswhere F: TypeFolder<TyCtxt<'tcx>>,

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for CoroutineKind

fn try_fold_with<F>( self, _: &mut F, ) -> Result<CoroutineKind, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>where F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn fold_with<F>(self, _: &mut F) -> CoroutineKindwhere F: TypeFolder<TyCtxt<'tcx>>,

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for MatchSource

fn try_fold_with<F>( self, _: &mut F, ) -> Result<MatchSource, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>where F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn fold_with<F>(self, _: &mut F) -> MatchSourcewhere F: TypeFolder<TyCtxt<'tcx>>,

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for PlaceBase

fn try_fold_with<__F>( self, __folder: &mut __F, ) -> Result<PlaceBase, <__F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for ProjectionKind

fn try_fold_with<__F>( self, __folder: &mut __F, ) -> Result<ProjectionKind, <__F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for Const<'tcx>

fn try_fold_with<__F>( self, __folder: &mut __F, ) -> Result<Const<'tcx>, <__F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for ConstValue<'tcx>

fn try_fold_with<F>( self, _: &mut F, ) -> Result<ConstValue<'tcx>, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>where F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn fold_with<F>(self, _: &mut F) -> ConstValue<'tcx>where F: TypeFolder<TyCtxt<'tcx>>,

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for CovTerm

fn try_fold_with<__F>( self, __folder: &mut __F, ) -> Result<CovTerm, <__F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for CoverageKind

fn try_fold_with<__F>( self, __folder: &mut __F, ) -> Result<CoverageKind, <__F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for MappingKind

fn try_fold_with<__F>( self, __folder: &mut __F, ) -> Result<MappingKind, <__F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for Op

fn try_fold_with<__F>( self, __folder: &mut __F, ) -> Result<Op, <__F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for BindingForm<'tcx>

fn try_fold_with<F>( self, _: &mut F, ) -> Result<BindingForm<'tcx>, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>where F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn fold_with<F>(self, _: &mut F) -> BindingForm<'tcx>where F: TypeFolder<TyCtxt<'tcx>>,

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for LocalInfo<'tcx>

fn try_fold_with<__F>( self, __folder: &mut __F, ) -> Result<LocalInfo<'tcx>, <__F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for MentionedItem<'tcx>

fn try_fold_with<__F>( self, __folder: &mut __F, ) -> Result<MentionedItem<'tcx>, <__F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for VarDebugInfoContents<'tcx>

fn try_fold_with<__F>( self, __folder: &mut __F, ) -> Result<VarDebugInfoContents<'tcx>, <__F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for ErrorHandled

fn try_fold_with<F>( self, _: &mut F, ) -> Result<ErrorHandled, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>where F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn fold_with<F>(self, _: &mut F) -> ErrorHandledwhere F: TypeFolder<TyCtxt<'tcx>>,

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for Scalar

fn try_fold_with<F>( self, _: &mut F, ) -> Result<Scalar, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>where F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn fold_with<F>(self, _: &mut F) -> Scalarwhere F: TypeFolder<TyCtxt<'tcx>>,

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for ConstraintCategory<'tcx>

fn try_fold_with<__F>( self, __folder: &mut __F, ) -> Result<ConstraintCategory<'tcx>, <__F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for ReturnConstraint

fn try_fold_with<__F>( self, __folder: &mut __F, ) -> Result<ReturnConstraint, <__F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for AggregateKind<'tcx>

fn try_fold_with<__F>( self, __folder: &mut __F, ) -> Result<AggregateKind<'tcx>, <__F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for BackwardIncompatibleDropReason

fn try_fold_with<__F>( self, __folder: &mut __F, ) -> Result<BackwardIncompatibleDropReason, <__F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for BinOp

fn try_fold_with<__F>( self, __folder: &mut __F, ) -> Result<BinOp, <__F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for BorrowKind

fn try_fold_with<F>( self, _: &mut F, ) -> Result<BorrowKind, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>where F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn fold_with<F>(self, _: &mut F) -> BorrowKindwhere F: TypeFolder<TyCtxt<'tcx>>,

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for CallSource

fn try_fold_with<__F>( self, __folder: &mut __F, ) -> Result<CallSource, <__F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for CastKind

fn try_fold_with<F>( self, _: &mut F, ) -> Result<CastKind, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>where F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn fold_with<F>(self, _: &mut F) -> CastKindwhere F: TypeFolder<TyCtxt<'tcx>>,

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for FakeReadCause

fn try_fold_with<F>( self, _: &mut F, ) -> Result<FakeReadCause, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>where F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn fold_with<F>(self, _: &mut F) -> FakeReadCausewhere F: TypeFolder<TyCtxt<'tcx>>,

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for InlineAsmMacro

Trait TypeFoldable

fn try_fold_with<F>( self, folder: &mut F, ) -> Result<Self, <F as FallibleTypeFolder<I>>::Error>
where F: FallibleTypeFolder<I>,

fn fold_with<F>(self, folder: &mut F) -> Self
where F: TypeFolder<I>,

fn try_fold_with<F>( self, _folder: &mut F, ) -> Result<&'tcx [InlineAsmTemplatePiece], <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, _folder: &mut F, ) -> Result<&'tcx [Span], <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, _: &mut F, ) -> Result<ByRef, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn fold_with<F>(self, _: &mut F) -> ByRef
where F: TypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, _: &mut F, ) -> Result<InlineAsmTemplatePiece, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn fold_with<F>(self, _: &mut F) -> InlineAsmTemplatePiece
where F: TypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, _: &mut F, ) -> Result<Res, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn fold_with<F>(self, _: &mut F) -> Res
where F: TypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, _: &mut F, ) -> Result<CoroutineKind, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn fold_with<F>(self, _: &mut F) -> CoroutineKind
where F: TypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, _: &mut F, ) -> Result<MatchSource, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn fold_with<F>(self, _: &mut F) -> MatchSource
where F: TypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, folder: &mut F, ) -> Result<PlaceBase, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, folder: &mut F, ) -> Result<ProjectionKind, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, folder: &mut F, ) -> Result<Const<'tcx>, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, _: &mut F, ) -> Result<ConstValue<'tcx>, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn fold_with<F>(self, _: &mut F) -> ConstValue<'tcx>
where F: TypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, folder: &mut F, ) -> Result<CovTerm, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, folder: &mut F, ) -> Result<CoverageKind, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, folder: &mut F, ) -> Result<MappingKind, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, folder: &mut F, ) -> Result<Op, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, _: &mut F, ) -> Result<BindingForm<'tcx>, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn fold_with<F>(self, _: &mut F) -> BindingForm<'tcx>
where F: TypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, folder: &mut F, ) -> Result<LocalInfo<'tcx>, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, folder: &mut F, ) -> Result<MentionedItem<'tcx>, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, folder: &mut F, ) -> Result<VarDebugInfoContents<'tcx>, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, _: &mut F, ) -> Result<ErrorHandled, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn fold_with<F>(self, _: &mut F) -> ErrorHandled
where F: TypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, _: &mut F, ) -> Result<Scalar, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn fold_with<F>(self, _: &mut F) -> Scalar
where F: TypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, folder: &mut F, ) -> Result<ConstraintCategory<'tcx>, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, folder: &mut F, ) -> Result<ReturnConstraint, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, folder: &mut F, ) -> Result<AggregateKind<'tcx>, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, folder: &mut F, ) -> Result<BackwardIncompatibleDropReason, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, folder: &mut F, ) -> Result<BinOp, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, _: &mut F, ) -> Result<BorrowKind, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn fold_with<F>(self, _: &mut F) -> BorrowKind
where F: TypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, folder: &mut F, ) -> Result<CallSource, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, _: &mut F, ) -> Result<CastKind, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn fold_with<F>(self, _: &mut F) -> CastKind
where F: TypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, _: &mut F, ) -> Result<FakeReadCause, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn fold_with<F>(self, _: &mut F) -> FakeReadCause
where F: TypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, folder: &mut F, ) -> Result<InlineAsmMacro, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, folder: &mut F, ) -> Result<InlineAsmOperand<'tcx>, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, _: &mut F, ) -> Result<MirPhase, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn fold_with<F>(self, _: &mut F) -> MirPhase
where F: TypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, folder: &mut F, ) -> Result<NonDivergingIntrinsic<'tcx>, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, _: &mut F, ) -> Result<NullOp<'tcx>, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn fold_with<F>(self, _: &mut F) -> NullOp<'tcx>
where F: TypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, folder: &mut F, ) -> Result<Operand<'tcx>, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, _: &mut F, ) -> Result<RetagKind, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn fold_with<F>(self, _: &mut F) -> RetagKind
where F: TypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, folder: &mut F, ) -> Result<Rvalue<'tcx>, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, folder: &mut F, ) -> Result<StatementKind<'tcx>, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, folder: &mut F, ) -> Result<TerminatorKind<'tcx>, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, folder: &mut F, ) -> Result<UnOp, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, folder: &mut F, ) -> Result<UnwindAction, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, folder: &mut F, ) -> Result<UnwindTerminateReason, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, folder: &mut F, ) -> Result<CastKind, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, _: &mut F, ) -> Result<NotConstEvaluatable, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn fold_with<F>(self, _: &mut F) -> NotConstEvaluatable
where F: TypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, folder: &mut F, ) -> Result<Adjust, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, folder: &mut F, ) -> Result<AutoBorrow, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, _: &mut F, ) -> Result<AutoBorrowMutability, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn fold_with<F>(self, _: &mut F) -> AutoBorrowMutability
where F: TypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, _: &mut F, ) -> Result<PointerCoercion, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn fold_with<F>(self, _: &mut F) -> PointerCoercion
where F: TypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, _: &mut F, ) -> Result<AdtKind, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn fold_with<F>(self, _: &mut F) -> AdtKind
where F: TypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, _: &mut F, ) -> Result<AssocKind, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn fold_with<F>(self, _: &mut F) -> AssocKind
where F: TypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, folder: &mut F, ) -> Result<BorrowKind, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, folder: &mut F, ) -> Result<UpvarCapture, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, folder: &mut F, ) -> Result<ExprKind, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where __F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, _: &mut F, ) -> Result<ValTree<'tcx>, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where F: FallibleTypeFolder<TyCtxt<'tcx>>,

fn fold_with<F>(self, _: &mut F) -> ValTree<'tcx>
where F: TypeFolder<TyCtxt<'tcx>>,

fn try_fold_with<F>( self, folder: &mut F, ) -> Result<Asyncness, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>
where __F: FallibleTypeFolder<TyCtxt<'tcx>>,