Trait rustc_middle::ty::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> { ... }
}

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

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

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

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

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

Object Safety

This trait is not object safe.

Implementations on Foreign Types

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

fn try_fold_with<F: FallibleTypeFolder<TyCtxt<'tcx>>>( self, _folder: &mut F ) -> Result<Self, F::Error>

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

fn try_fold_with<F: FallibleTypeFolder<TyCtxt<'tcx>>>( self, _folder: &mut F ) -> Result<Self, F::Error>

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Implementors

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

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for &'tcx List<Clause<'tcx>>

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for &'tcx List<Ty<'tcx>>

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for &'tcx List<PlaceElem<'tcx>>

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for &'tcx List<PolyExistentialPredicate<'tcx>>

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

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

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for rustc_middle::infer::canonical::Certainty

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for rustc_middle::mir::consts::Const<'tcx>

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

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

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

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

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

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

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

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

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

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

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

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

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

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for rustc_middle::mir::syntax::BorrowKind

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

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for rustc_middle::mir::syntax::CastKind

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for rustc_middle::traits::solve::Certainty

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

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for rustc_middle::ty::abstract_const::CastKind

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

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

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

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

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

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

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

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

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for rustc_middle::ty::closure::BorrowKind

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for rustc_middle::hir::place::Place<'tcx>

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

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

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

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

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

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

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

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for rustc_middle::mir::consts::UnevaluatedConst<'tcx>

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for rustc_middle::mir::syntax::Place<'tcx>

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for rustc_middle::ty::consts::kind::UnevaluatedConst<'tcx>

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for rustc_middle::ty::consts::Const<'tcx>

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for Placeholder<BoundVar>

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for Placeholder<BoundRegion>

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for Placeholder<BoundTy>

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

impl<'tcx, A, B> TypeFoldable<TyCtxt<'tcx>> for OutlivesPredicate<A, B>where A: TypeFoldable<TyCtxt<'tcx>>, B: TypeFoldable<TyCtxt<'tcx>>,

impl<'tcx, N> TypeFoldable<TyCtxt<'tcx>> for ImplSource<'tcx, N>where N: TypeFoldable<TyCtxt<'tcx>>,

impl<'tcx, N> TypeFoldable<TyCtxt<'tcx>> for ImplSourceUserDefinedData<'tcx, N>where N: TypeFoldable<TyCtxt<'tcx>>,

impl<'tcx, O> TypeFoldable<TyCtxt<'tcx>> for AssertKind<O>where O: TypeFoldable<TyCtxt<'tcx>>,

impl<'tcx, P> TypeFoldable<TyCtxt<'tcx>> for Goal<'tcx, P>where P: TypeFoldable<TyCtxt<'tcx>>,

impl<'tcx, R> TypeFoldable<TyCtxt<'tcx>> for QueryResponse<'tcx, R>where R: TypeFoldable<TyCtxt<'tcx>>,

impl<'tcx, T> !TypeFoldable<TyCtxt<'tcx>> for EarlyBinder<T>

For early binders, you should first call instantiate before using any visitors.

impl<'tcx, T> TypeFoldable<TyCtxt<'tcx>> for ClearCrossCrate<T>where T: TypeFoldable<TyCtxt<'tcx>>,

impl<'tcx, T> TypeFoldable<TyCtxt<'tcx>> for Normalize<T>where T: TypeFoldable<TyCtxt<'tcx>>,

impl<'tcx, T> TypeFoldable<TyCtxt<'tcx>> for State<'tcx, T>where T: TypeFoldable<TyCtxt<'tcx>>,

impl<'tcx, T> TypeFoldable<TyCtxt<'tcx>> for QueryInput<'tcx, T>where T: TypeFoldable<TyCtxt<'tcx>>,

impl<'tcx, T> TypeFoldable<TyCtxt<'tcx>> for ExpectedFound<T>where T: TypeFoldable<TyCtxt<'tcx>>,

impl<'tcx, T> TypeFoldable<TyCtxt<'tcx>> for ParamEnvAnd<'tcx, T>where T: TypeFoldable<TyCtxt<'tcx>>,

impl<'tcx, T: TypeFoldable<TyCtxt<'tcx>>> TypeFoldable<TyCtxt<'tcx>> for Binder<'tcx, T>

impl<'tcx, V, T> TypeFoldable<TyCtxt<'tcx>> for ProjectionElem<V, T>where T: TypeFoldable<TyCtxt<'tcx>>, V: TypeFoldable<TyCtxt<'tcx>>,