Trait TypeVisitable

pub trait TypeVisitable<I>: Debug + Clone
where
    I: Interner,
{
    // Required method
    fn visit_with<V>(&self, visitor: &mut V) -> <V as TypeVisitor<I>>::Result
       where V: TypeVisitor<I>;
}

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

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

Required Methods

fn visit_with<V>(&self, visitor: &mut V) -> <V as TypeVisitor<I>>::Result

where V: TypeVisitor<I>,

The entry point for visiting. To visit a value t with a visitor v call: t.visit_with(v).

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

For types of interest (such as Ty), the implementation of this method that calls a visitor method specifically for that type (such as V::visit_ty). This is where control transfers from TypeVisitable to TypeVisitor.

Object Safety

This trait is not object safe.

Implementations on Foreign Types

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

fn visit_with<F: TypeVisitor<TyCtxt<'tcx>>>(&self, _: &mut F) -> F::Result

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

fn visit_with<F: TypeVisitor<TyCtxt<'tcx>>>(&self, _: &mut F) -> F::Result

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

fn visit_with<F: TypeVisitor<TyCtxt<'tcx>>>(&self, _: &mut F) -> F::Result

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

fn visit_with<F: TypeVisitor<TyCtxt<'tcx>>>(&self, _: &mut F) -> F::Result

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

fn visit_with<F: TypeVisitor<TyCtxt<'tcx>>>(&self, _: &mut F) -> F::Result

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for Safety

fn visit_with<F: TypeVisitor<TyCtxt<'tcx>>>(&self, _: &mut F) -> F::Result

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

fn visit_with<F: TypeVisitor<TyCtxt<'tcx>>>(&self, _: &mut F) -> F::Result

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

fn visit_with<F: TypeVisitor<TyCtxt<'tcx>>>(&self, _: &mut F) -> F::Result

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

fn visit_with<F: TypeVisitor<TyCtxt<'tcx>>>(&self, _: &mut F) -> F::Result

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

fn visit_with<F: TypeVisitor<TyCtxt<'tcx>>>(&self, _: &mut F) -> F::Result

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

fn visit_with<F: TypeVisitor<TyCtxt<'tcx>>>(&self, _: &mut F) -> F::Result

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

fn visit_with<F: TypeVisitor<TyCtxt<'tcx>>>(&self, _: &mut F) -> F::Result

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

fn visit_with<F: TypeVisitor<TyCtxt<'tcx>>>(&self, _: &mut F) -> F::Result

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

fn visit_with<F: TypeVisitor<TyCtxt<'tcx>>>(&self, _: &mut F) -> F::Result

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

fn visit_with<F: TypeVisitor<TyCtxt<'tcx>>>(&self, _: &mut F) -> F::Result

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

fn visit_with<V: TypeVisitor<TyCtxt<'tcx>>>(&self, visitor: &mut V) -> V::Result

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

fn visit_with<F: TypeVisitor<TyCtxt<'tcx>>>(&self, _: &mut F) -> F::Result

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

fn visit_with<F: TypeVisitor<TyCtxt<'tcx>>>(&self, _: &mut F) -> F::Result

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

fn visit_with<F: TypeVisitor<TyCtxt<'tcx>>>(&self, _: &mut F) -> F::Result

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for TyAndLayout<'tcx, Ty<'tcx>>

fn visit_with<V: TypeVisitor<TyCtxt<'tcx>>>(&self, visitor: &mut V) -> V::Result

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

fn visit_with<F: TypeVisitor<TyCtxt<'tcx>>>(&self, _: &mut F) -> F::Result

impl<'tcx, T: TypeVisitable<TyCtxt<'tcx>> + Debug + Clone> TypeVisitable<TyCtxt<'tcx>> for Spanned<T>

fn visit_with<V: TypeVisitor<TyCtxt<'tcx>>>(&self, visitor: &mut V) -> V::Result

impl<I> TypeVisitable<I> for bool

where I: Interner,

fn visit_with<F>(&self, _: &mut F) -> <F as TypeVisitor<I>>::Result

where F: TypeVisitor<I>,

impl<I> TypeVisitable<I> for u16

where I: Interner,

fn visit_with<F>(&self, _: &mut F) -> <F as TypeVisitor<I>>::Result

where F: TypeVisitor<I>,

impl<I> TypeVisitable<I> for u32

where I: Interner,

fn visit_with<F>(&self, _: &mut F) -> <F as TypeVisitor<I>>::Result

where F: TypeVisitor<I>,

impl<I> TypeVisitable<I> for u64

where I: Interner,

fn visit_with<F>(&self, _: &mut F) -> <F as TypeVisitor<I>>::Result

where F: TypeVisitor<I>,

impl<I> TypeVisitable<I> for ()

where I: Interner,

fn visit_with<F>(&self, _: &mut F) -> <F as TypeVisitor<I>>::Result

where F: TypeVisitor<I>,

impl<I> TypeVisitable<I> for usize

where I: Interner,

fn visit_with<F>(&self, _: &mut F) -> <F as TypeVisitor<I>>::Result

where F: TypeVisitor<I>,

impl<I> TypeVisitable<I> for String

where I: Interner,

fn visit_with<F>(&self, _: &mut F) -> <F as TypeVisitor<I>>::Result

where F: TypeVisitor<I>,

impl<I, A, B, C> TypeVisitable<I> for (A, B, C)

where I: Interner, A: TypeVisitable<I>, B: TypeVisitable<I>, C: TypeVisitable<I>,

fn visit_with<V>(&self, visitor: &mut V) -> <V as TypeVisitor<I>>::Result

where V: TypeVisitor<I>,

impl<I, T> TypeVisitable<I> for &[T]

where I: Interner, T: TypeVisitable<I>,

fn visit_with<V>(&self, visitor: &mut V) -> <V as TypeVisitor<I>>::Result

where V: TypeVisitor<I>,

impl<I, T> TypeVisitable<I> for Option<T>

where I: Interner, T: TypeVisitable<I>,

fn visit_with<V>(&self, visitor: &mut V) -> <V as TypeVisitor<I>>::Result

where V: TypeVisitor<I>,

impl<I, T> TypeVisitable<I> for Box<[T]>

where I: Interner, T: TypeVisitable<I>,

fn visit_with<V>(&self, visitor: &mut V) -> <V as TypeVisitor<I>>::Result

where V: TypeVisitor<I>,

impl<I, T> TypeVisitable<I> for Box<T>

where I: Interner, T: TypeVisitable<I>,

fn visit_with<V>(&self, visitor: &mut V) -> <V as TypeVisitor<I>>::Result

where V: TypeVisitor<I>,

impl<I, T> TypeVisitable<I> for Vec<T>

where I: Interner, T: TypeVisitable<I>,

fn visit_with<V>(&self, visitor: &mut V) -> <V as TypeVisitor<I>>::Result

where V: TypeVisitor<I>,

impl<I, T, E> TypeVisitable<I> for Result<T, E>

where I: Interner, T: TypeVisitable<I>, E: TypeVisitable<I>,

fn visit_with<V>(&self, visitor: &mut V) -> <V as TypeVisitor<I>>::Result

where V: TypeVisitor<I>,

impl<I, T, Ix> TypeVisitable<I> for IndexVec<Ix, T>

where I: Interner, T: TypeVisitable<I>, Ix: Idx,

fn visit_with<V>(&self, visitor: &mut V) -> <V as TypeVisitor<I>>::Result

where V: TypeVisitor<I>,

impl<I, T, U> TypeVisitable<I> for (T, U)

where I: Interner, T: TypeVisitable<I>, U: TypeVisitable<I>,

fn visit_with<V>(&self, visitor: &mut V) -> <V as TypeVisitor<I>>::Result

where V: TypeVisitor<I>,

Implementors

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for PatKind<'tcx>

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for PatRangeBoundary<'tcx>

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

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

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for SelectionError<'tcx>

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

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

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

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for SelectionCandidate<'tcx>

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

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

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

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

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

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

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

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

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

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

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for ExprKind

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

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

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

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

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

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for InstanceKind<'tcx>

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for ReifyReason

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for PatternKind<'tcx>

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

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

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for UpvarArgs<'tcx>

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

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

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

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

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

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

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

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

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

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for BlockMarkerId

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for BranchSpan

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for ConditionId

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for ConditionInfo

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

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for CoverageInfoHi

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for DecisionInfo

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

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

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

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for MCDCBranchSpan

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for MCDCDecisionSpan

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

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for SourceRegion

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for CtfeProvenance

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for Ascription<'tcx>

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for FieldPat<'tcx>

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for Pat<'tcx>

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for PatRange<'tcx>

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

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

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

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

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

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

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

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

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for DerivedCause<'tcx>

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

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for ImplDerivedCause<'tcx>

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

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

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

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for SignatureMismatchData<'tcx>

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

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

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

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for AdtDef<'tcx>

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

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

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

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

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

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

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

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

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

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

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

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for Pattern<'tcx>

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

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

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

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for TraitPredPrintWithBoundConstness<'tcx>

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

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

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for TraitRefPrintSugared<'tcx>

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for BoundRegion

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for Clauses<'tcx>

impl<'tcx, N> TypeVisitable<TyCtxt<'tcx>> for ImplSource<'tcx, N>

where N: TypeVisitable<TyCtxt<'tcx>>,

impl<'tcx, N> TypeVisitable<TyCtxt<'tcx>> for ImplSourceUserDefinedData<'tcx, N>

where N: TypeVisitable<TyCtxt<'tcx>>,

impl<'tcx, O> TypeVisitable<TyCtxt<'tcx>> for AssertKind<O>

where O: TypeVisitable<TyCtxt<'tcx>>,

impl<'tcx, R> TypeVisitable<TyCtxt<'tcx>> for QueryResponse<'tcx, R>

where R: TypeVisitable<TyCtxt<'tcx>>,

impl<'tcx, T> TypeVisitable<TyCtxt<'tcx>> for ClearCrossCrate<T>

where T: TypeVisitable<TyCtxt<'tcx>>,

impl<'tcx, T> TypeVisitable<TyCtxt<'tcx>> for Normalize<T>

where T: TypeVisitable<TyCtxt<'tcx>>,

impl<'tcx, T> TypeVisitable<TyCtxt<'tcx>> for ParamEnvAnd<'tcx, T>

where T: TypeVisitable<TyCtxt<'tcx>>,

impl<'tcx, T: TypeVisitable<TyCtxt<'tcx>>> TypeVisitable<TyCtxt<'tcx>> for &'tcx List<T>

impl<'tcx, V, T> TypeVisitable<TyCtxt<'tcx>> for ProjectionElem<V, T>

where T: TypeVisitable<TyCtxt<'tcx>>, V: TypeVisitable<TyCtxt<'tcx>>,

impl<I> TypeVisitable<I> for TypeError<I>

where I: Interner, ExpectedFound<<I as Interner>::Safety>: TypeVisitable<I>, ExpectedFound<<I as Interner>::Abi>: TypeVisitable<I>, <I as Interner>::Region: TypeVisitable<I>, <I as Interner>::BoundRegion: TypeVisitable<I>, ExpectedFound<<I as Interner>::Ty>: TypeVisitable<I>, ExpectedFound<<I as Interner>::DefId>: TypeVisitable<I>, <I as Interner>::Ty: TypeVisitable<I>, <I as Interner>::Const: TypeVisitable<I>, ExpectedFound<<I as Interner>::BoundExistentialPredicates>: TypeVisitable<I>, ExpectedFound<<I as Interner>::Const>: TypeVisitable<I>, <I as Interner>::DefId: TypeVisitable<I>,

impl<I> TypeVisitable<I> for ExistentialPredicate<I>

where I: Interner, ExistentialTraitRef<I>: TypeVisitable<I>, ExistentialProjection<I>: TypeVisitable<I>, <I as Interner>::DefId: TypeVisitable<I>,

impl<I> TypeVisitable<I> for ClauseKind<I>

where I: Interner, TraitPredicate<I>: TypeVisitable<I>, OutlivesPredicate<I, <I as Interner>::Region>: TypeVisitable<I>, OutlivesPredicate<I, <I as Interner>::Ty>: TypeVisitable<I>, ProjectionPredicate<I>: TypeVisitable<I>, <I as Interner>::Const: TypeVisitable<I>, <I as Interner>::Ty: TypeVisitable<I>, <I as Interner>::GenericArg: TypeVisitable<I>,

impl<I> TypeVisitable<I> for PredicateKind<I>

where I: Interner, ClauseKind<I>: TypeVisitable<I>, <I as Interner>::DefId: TypeVisitable<I>, SubtypePredicate<I>: TypeVisitable<I>, CoercePredicate<I>: TypeVisitable<I>, <I as Interner>::Const: TypeVisitable<I>, NormalizesTo<I>: TypeVisitable<I>, <I as Interner>::Term: TypeVisitable<I>,

impl<I> TypeVisitable<I> for AliasRelationDirection

where I: Interner,

impl<I> TypeVisitable<I> for AliasTyKind

where I: Interner,

impl<I> TypeVisitable<I> for BoundConstness

where I: Interner,

impl<I> TypeVisitable<I> for CanonicalTyVarKind

where I: Interner,

impl<I> TypeVisitable<I> for CanonicalVarKind<I>

where I: Interner, <I as Interner>::PlaceholderTy: TypeVisitable<I>, <I as Interner>::PlaceholderRegion: TypeVisitable<I>, <I as Interner>::PlaceholderConst: TypeVisitable<I>,

impl<I> TypeVisitable<I> for FloatTy

where I: Interner,

impl<I> TypeVisitable<I> for InferTy

where I: Interner,

impl<I> TypeVisitable<I> for IntVarValue

where I: Interner,

impl<I> TypeVisitable<I> for Movability

where I: Interner,

impl<I> TypeVisitable<I> for Mutability

where I: Interner,

impl<I> TypeVisitable<I> for PredicatePolarity

where I: Interner,

impl<I> TypeVisitable<I> for Variance

where I: Interner,

impl<I> TypeVisitable<I> for BuiltinImplSource

where I: Interner,

impl<I> TypeVisitable<I> for rustc_middle::ty::solve::Certainty

where I: Interner,

impl<I> TypeVisitable<I> for GoalSource

where I: Interner,

impl<I> TypeVisitable<I> for MaybeCause

where I: Interner,

impl<I> TypeVisitable<I> for ProbeKind<I>

where I: Interner, Result<Canonical<I, Response<I>>, NoSolution>: TypeVisitable<I>, CandidateSource<I>: TypeVisitable<I>,

impl<I> TypeVisitable<I> for rustc_type_ir::const_kind::UnevaluatedConst<I>

where I: Interner, <I as Interner>::DefId: TypeVisitable<I>, <I as Interner>::GenericArgs: TypeVisitable<I>,

impl<I> TypeVisitable<I> for OpaqueTypeKey<I>

where I: Interner, <I as Interner>::LocalDefId: TypeVisitable<I>, <I as Interner>::GenericArgs: TypeVisitable<I>,

impl<I> TypeVisitable<I> for AliasTerm<I>

where I: Interner, <I as Interner>::GenericArgs: TypeVisitable<I>, <I as Interner>::DefId: TypeVisitable<I>,

impl<I> TypeVisitable<I> for CoercePredicate<I>

where I: Interner, <I as Interner>::Ty: TypeVisitable<I>,

impl<I> TypeVisitable<I> for ExistentialProjection<I>

where I: Interner, <I as Interner>::DefId: TypeVisitable<I>, <I as Interner>::GenericArgs: TypeVisitable<I>, <I as Interner>::Term: TypeVisitable<I>,

impl<I> TypeVisitable<I> for ExistentialTraitRef<I>

where I: Interner, <I as Interner>::DefId: TypeVisitable<I>, <I as Interner>::GenericArgs: TypeVisitable<I>,

impl<I> TypeVisitable<I> for NormalizesTo<I>

where I: Interner, AliasTerm<I>: TypeVisitable<I>, <I as Interner>::Term: TypeVisitable<I>,

impl<I> TypeVisitable<I> for ProjectionPredicate<I>

where I: Interner, AliasTerm<I>: TypeVisitable<I>, <I as Interner>::Term: TypeVisitable<I>,

impl<I> TypeVisitable<I> for SubtypePredicate<I>

where I: Interner, <I as Interner>::Ty: TypeVisitable<I>,

impl<I> TypeVisitable<I> for TraitPredicate<I>

where I: Interner, TraitRef<I>: TypeVisitable<I>,

impl<I> TypeVisitable<I> for TraitRef<I>

where I: Interner, <I as Interner>::DefId: TypeVisitable<I>, <I as Interner>::GenericArgs: TypeVisitable<I>,

impl<I> TypeVisitable<I> for AliasTy<I>

where I: Interner, <I as Interner>::GenericArgs: TypeVisitable<I>, <I as Interner>::DefId: TypeVisitable<I>,

impl<I> TypeVisitable<I> for FnSig<I>

where I: Interner, <I as Interner>::Tys: TypeVisitable<I>, <I as Interner>::Safety: TypeVisitable<I>, <I as Interner>::Abi: TypeVisitable<I>,

impl<I> TypeVisitable<I> for TypeAndMut<I>

where I: Interner, <I as Interner>::Ty: TypeVisitable<I>,

impl<I> TypeVisitable<I> for ExternalConstraintsData<I>

where I: Interner, Vec<OutlivesPredicate<I, <I as Interner>::GenericArg>>: TypeVisitable<I>, Vec<(OpaqueTypeKey<I>, <I as Interner>::Ty)>: TypeVisitable<I>, NestedNormalizationGoals<I>: TypeVisitable<I>,

impl<I> TypeVisitable<I> for NestedNormalizationGoals<I>

where I: Interner, Vec<(GoalSource, Goal<I, <I as Interner>::Predicate>)>: TypeVisitable<I>,

impl<I> TypeVisitable<I> for NoSolution

where I: Interner,

impl<I> TypeVisitable<I> for PredefinedOpaquesData<I>

where I: Interner, Vec<(OpaqueTypeKey<I>, <I as Interner>::Ty)>: TypeVisitable<I>,

impl<I> TypeVisitable<I> for Response<I>

where I: Interner, CanonicalVarValues<I>: TypeVisitable<I>, <I as Interner>::ExternalConstraints: TypeVisitable<I>,

impl<I> TypeVisitable<I> for CanonicalVarInfo<I>

where I: Interner, CanonicalVarKind<I>: TypeVisitable<I>,

impl<I> TypeVisitable<I> for CanonicalVarValues<I>

where I: Interner, <I as Interner>::GenericArgs: TypeVisitable<I>,

impl<I> TypeVisitable<I> for ClosureArgs<I>

where I: Interner, <I as Interner>::GenericArgs: TypeVisitable<I>,

impl<I> TypeVisitable<I> for CoroutineArgs<I>

where I: Interner, <I as Interner>::GenericArgs: TypeVisitable<I>,

impl<I> TypeVisitable<I> for CoroutineClosureArgs<I>

where I: Interner, <I as Interner>::GenericArgs: TypeVisitable<I>,

impl<I> TypeVisitable<I> for CoroutineClosureSignature<I>

where I: Interner, <I as Interner>::Ty: TypeVisitable<I>, <I as Interner>::Safety: TypeVisitable<I>, <I as Interner>::Abi: TypeVisitable<I>,

impl<I> TypeVisitable<I> for DebruijnIndex

where I: Interner,

impl<I> TypeVisitable<I> for FnHeader<I>

where I: Interner, <I as Interner>::Safety: TypeVisitable<I>, <I as Interner>::Abi: TypeVisitable<I>,

impl<I> TypeVisitable<I> for FnSigTys<I>

where I: Interner, <I as Interner>::Tys: TypeVisitable<I>,

impl<I> TypeVisitable<I> for GenSig<I>

where I: Interner, <I as Interner>::Ty: TypeVisitable<I>,

impl<I> TypeVisitable<I> for RegionVid

where I: Interner,

impl<I> TypeVisitable<I> for UniverseIndex

where I: Interner,

impl<I, A> TypeVisitable<I> for OutlivesPredicate<I, A>

where I: Interner, A: TypeVisitable<I>, <I as Interner>::Region: TypeVisitable<I>,

impl<I, P> TypeVisitable<I> for Goal<I, P>

where I: Interner, <I as Interner>::ParamEnv: TypeVisitable<I>, P: TypeVisitable<I>,

impl<I, P> TypeVisitable<I> for QueryInput<I, P>

where I: Interner, Goal<I, P>: TypeVisitable<I>, <I as Interner>::PredefinedOpaques: TypeVisitable<I>,

impl<I, T> !TypeVisitable<I> for EarlyBinder<I, T>

where I: Interner,

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

impl<I, T> TypeVisitable<I> for Binder<I, T>

where I: Interner, T: TypeVisitable<I>,

impl<I, T> TypeVisitable<I> for Rc<T>

where I: Interner, T: TypeVisitable<I>,

impl<I, T> TypeVisitable<I> for State<I, T>

where I: Interner, CanonicalVarValues<I>: TypeVisitable<I>, T: TypeVisitable<I>,

impl<I, V> TypeVisitable<I> for Canonical<I, V>

where I: Interner, V: TypeVisitable<I>, <I as Interner>::DefiningOpaqueTypes: TypeVisitable<I>, <I as Interner>::CanonicalVars: TypeVisitable<I>,

impl<T, I> TypeVisitable<I> for ExpectedFound<T>

where I: Interner, T: TypeVisitable<I>,