TypeVisitable in rustc_middle::ty - Rust (original) (raw)
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 AggregateKind<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for AnnotationSource
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for BackwardIncompatibleDropReason
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for BinOp
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for BindingForm<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for rustc_middle::mir::BorrowKind
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for CallSource
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for rustc_middle::mir::CastKind
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for rustc_middle::mir::Const<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for ConstValue
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for ConstraintCategory<'tcx>
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 LocalInfo<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for MentionedItem<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for MirPhase
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for NonDivergingIntrinsic<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for NullOp
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for Operand<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for RawPtrKind
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for RetagKind
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for ReturnConstraint
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for Rvalue<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for StatementKind<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for StmtDebugInfo<'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 VarDebugInfoContents<'tcx>
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
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for AutoBorrow
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for AutoBorrowMutability
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for PatAdjust
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 Asyncness
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for rustc_middle::ty::BorrowKind
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for ExprKind
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for InstanceKind<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for ReifyReason
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for UpvarArgs<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for UpvarCapture
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for UserTypeKind<'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 Cache
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for GlobalId<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for BasicBlock
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for BasicBlockData<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for BasicBlocks<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for BlockTailInfo
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for Body<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for ConstOperand<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for CopyNonOverlapping<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for CoroutineInfo<'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 Local
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for LocalDecl<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for MirSource<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for rustc_middle::mir::Place<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for PlaceTy<'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 Statement<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for StmtDebugInfos<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for SwitchTargets
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for Terminator<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for rustc_middle::mir::UnevaluatedConst<'tcx>
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 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 MethodAutoderefSteps<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for NormalizationResult<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for AscribeUserType<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for DropckOutlives<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for Eq<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for ImpliedOutlivesBounds<'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 DerivedCause<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for DerivedHostCause<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for ImplDerivedCause<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for ImplDerivedHostCause<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for MatchExpressionArmCause<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for ObligationCause<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for ObligationCauseCodeHandle<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for PatternOriginExpr
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for SignatureMismatchData<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for Adjustment<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for OverloadedDeref
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for PatAdjustment<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for Pattern<'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 AdtDef<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for AssocItem
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for BoundRegion
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for BoundTy
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for CanonicalUserTypeAnnotation<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for CaptureInfo
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for CapturedPlace<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for Clause<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for ClosureSizeProfileData<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for rustc_middle::ty::Const<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for Expr<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for GenericArg<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for Instance<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for InstantiatedPredicates<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for ParamEnv<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for ParamTy
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for Predicate<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for ProvisionalHiddenType<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for Region<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for Term<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for Ty<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for TypingEnv<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for UpvarId
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for UpvarPath
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for UserArgs<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for UserSelfTy<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for UserType<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for UserTypeAnnotationIndex
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for ValTree<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for Value<'tcx>
impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for Clauses<'tcx>
impl<'tcx, N> TypeVisitable<TyCtxt<'tcx>> for ImplSource<'tcx, N>
impl<'tcx, N> TypeVisitable<TyCtxt<'tcx>> for ImplSourceUserDefinedData<'tcx, N>
impl<'tcx, O> TypeVisitable<TyCtxt<'tcx>> for AssertKind
impl<'tcx, R> TypeVisitable<TyCtxt<'tcx>> for QueryResponse<'tcx, R>
impl<'tcx, T> TypeVisitable<TyCtxt<'tcx>> for ClearCrossCrate
impl<'tcx, T> TypeVisitable<TyCtxt<'tcx>> for DeeplyNormalize
impl<'tcx, T> TypeVisitable<TyCtxt<'tcx>> for Normalize
impl<'tcx, T> TypeVisitable<TyCtxt<'tcx>> for ParamEnvAnd<'tcx, T>
impl<'tcx, T> TypeVisitable<TyCtxt<'tcx>> for PseudoCanonicalInput<'tcx, T>
impl<'tcx, T: TypeVisitable<TyCtxt<'tcx>>> TypeVisitable<TyCtxt<'tcx>> for &'tcx List
impl<'tcx, V, T> TypeVisitable<TyCtxt<'tcx>> for ProjectionElem<V, T>
impl TypeVisitable for TypeError
where I: Interner,ExpectedFound<<I as Interner>::Const>: TypeVisitable, <I as Interner>::Region: TypeVisitable, <I as Interner>::BoundRegion: TypeVisitable,ExpectedFound<<I as Interner>::Ty>: TypeVisitable,ExpectedFound<<I as Interner>::TraitId>: TypeVisitable, <I as Interner>::Ty: TypeVisitable, <I as Interner>::Const: TypeVisitable,ExpectedFound<<I as Interner>::DefId>: TypeVisitable,ExpectedFound<<I as Interner>::BoundExistentialPredicates>: TypeVisitable, <I as Interner>::DefId: TypeVisitable,
impl TypeVisitable for PatternKind
impl TypeVisitable for ExistentialPredicate
impl TypeVisitable for ClauseKind
where I: Interner,TraitPredicate: TypeVisitable,OutlivesPredicate<I, <I as Interner>::Region>: TypeVisitable,OutlivesPredicate<I, <I as Interner>::Ty>: TypeVisitable,ProjectionPredicate: TypeVisitable, <I as Interner>::Const: TypeVisitable, <I as Interner>::Ty: TypeVisitable, <I as Interner>::Term: TypeVisitable,HostEffectPredicate: TypeVisitable,
impl TypeVisitable for PredicateKind
impl TypeVisitable for Mutability
impl TypeVisitable for BuiltinImplSource
impl TypeVisitable for AliasBoundKind
impl TypeVisitable for rustc_middle::traits::solve::Certainty
impl TypeVisitable for GoalSource
impl TypeVisitable for ProbeKind
impl TypeVisitable for AliasRelationDirection
impl TypeVisitable for BoundConstness
impl TypeVisitable for BoundVarIndexKind
impl TypeVisitable for PredicatePolarity
impl TypeVisitable for Variance
impl TypeVisitable for rustc_type_ir::const_kind::UnevaluatedConst
impl TypeVisitable for OpaqueTypeKey
impl TypeVisitable for AliasTerm
impl TypeVisitable for CoercePredicate
impl TypeVisitable for ExistentialProjection
impl TypeVisitable for ExistentialTraitRef
impl TypeVisitable for HostEffectPredicate
impl TypeVisitable for NormalizesTo
impl TypeVisitable for ProjectionPredicate
impl TypeVisitable for SubtypePredicate
impl TypeVisitable for TraitPredicate
impl TypeVisitable for TraitRef
impl TypeVisitable for AliasTy
impl TypeVisitable for FnSig
impl TypeVisitable for TypeAndMut
impl TypeVisitable for ExternalConstraintsData
impl TypeVisitable for NestedNormalizationGoals
impl TypeVisitable for Response
impl TypeVisitable for CanonicalVarValues
impl TypeVisitable for ClosureArgs
impl TypeVisitable for CoroutineArgs
impl TypeVisitable for CoroutineClosureArgs
impl TypeVisitable for CoroutineClosureSignature
impl TypeVisitable for CoroutineWitnessTypes
impl TypeVisitable for DebruijnIndex
impl TypeVisitable for FnHeader
impl TypeVisitable for FnSigTys
impl TypeVisitable for GenSig
impl TypeVisitable for UniverseIndex
impl TypeVisitable for UnsafeBinderInner
impl<I, A> TypeVisitable for OutlivesPredicate<I, A>
impl<I, P> TypeVisitable for Goal<I, P>
impl<I, P> TypeVisitable for QueryInput<I, P>
impl<I, T> 
for EarlyBinder<I, T>
Available on crate feature nightly only.
For early binders, you should first call instantiate before using any visitors.