Home
last modified time | relevance | path

Searched defs:TypeVisitor (Results 1 – 25 of 25) sorted by relevance

/third_party/rust/rust/compiler/rustc_type_ir/src/
Dvisit.rs82 pub trait TypeVisitor<I: Interner>: Sized { interface
/third_party/rust/rust/compiler/rustc_middle/src/ty/
Dvisit.rs201 impl<'tcx, F> TypeVisitor<TyCtxt<'tcx>> for RegionVisitor<F> in any_free_region_meets() impl
303 impl<'tcx> TypeVisitor<TyCtxt<'tcx>> for ValidateBoundVars<'tcx> { impl
415 impl<'tcx> TypeVisitor<TyCtxt<'tcx>> for HasEscapingVarsVisitor { impl
492 impl<'tcx> TypeVisitor<TyCtxt<'tcx>> for HasTypeFlagsVisitor { impl
562 impl<'tcx> TypeVisitor<TyCtxt<'tcx>> for LateBoundRegionsCollector { impl
624 impl<'tcx> TypeVisitor<TyCtxt<'tcx>> for MaxUniverse { impl
Ddiagnostics.rs474 impl<'tcx> TypeVisitor<TyCtxt<'tcx>> for IsSuggestableVisitor<'tcx> { impl
Dsty.rs2552 impl<'tcx> TypeVisitor<TyCtxt<'tcx>> for ContainsTyVisitor<'tcx> { in contains() impl
2570 impl<'tcx> TypeVisitor<TyCtxt<'tcx>> for ContainsClosureVisitor { in contains_closure() impl
/third_party/rust/rust/compiler/rustc_const_eval/src/interpret/
Dutil.rs26 impl<'tcx> TypeVisitor<TyCtxt<'tcx>> for UsedParamsNeedSubstVisitor<'tcx> { in ensure_monomorphic_enough() impl
/third_party/rust/rust/compiler/rustc_trait_selection/src/traits/
Dstructural_match.rs59 impl<'tcx> TypeVisitor<TyCtxt<'tcx>> for Search<'tcx> { impl
Dconst_evaluatable.rs174 impl<'a, 'tcx> TypeVisitor<TyCtxt<'tcx>> for Visitor<'a, 'tcx> { in satisfied_from_param_env() impl
Dobject_safety.rs834 impl<'tcx> TypeVisitor<TyCtxt<'tcx>> for IllegalSelfTypeVisitor<'tcx> { in contains_illegal_self_type_reference() impl
Dcoherence.rs696 impl<'tcx> TypeVisitor<TyCtxt<'tcx>> for OrphanChecker<'tcx> { impl
/third_party/rust/rust/compiler/rustc_hir_analysis/src/
Dconstrained_generic_params.rs59 impl<'tcx> TypeVisitor<TyCtxt<'tcx>> for ParameterCollector { impl
/third_party/rust/rust/compiler/rustc_ty_utils/src/
Dopaque_types.rs135 impl<'tcx> TypeVisitor<TyCtxt<'tcx>> for OpaqueTypeCollector<'tcx> { impl
Dty.rs247 impl<'tcx> TypeVisitor<TyCtxt<'tcx>> for ImplTraitInTraitFinder<'_, 'tcx> { impl
/third_party/rust/rust/compiler/rustc_monomorphize/src/
Dpolymorphize.rs294 impl<'a, 'tcx> TypeVisitor<TyCtxt<'tcx>> for MarkUsedGenericParams<'a, 'tcx> { impl
/third_party/rust/rust/src/tools/clippy/clippy_utils/src/mir/
Dpossible_borrower.rs139 impl TypeVisitor<TyCtxt<'_>> for ContainsRegion { impl
/third_party/rust/rust/compiler/rustc_hir_analysis/src/coherence/
Dorphan.rs569 impl<'tcx> TypeVisitor<TyCtxt<'tcx>> for DisableAutoTraitVisitor<'tcx> { in fast_reject_auto_impl() impl
/third_party/rust/rust/compiler/rustc_infer/src/infer/
Dresolve.rs124 impl<'a, 'tcx> TypeVisitor<TyCtxt<'tcx>> for UnresolvedTypeOrConstFinder<'a, 'tcx> { impl
Dopaque_types.rs418 impl<'tcx, OP> TypeVisitor<TyCtxt<'tcx>> for ConstrainOpaqueTypeRegionVisitor<'tcx, OP> impl
/third_party/rust/rust/compiler/rustc_trait_selection/src/traits/query/
Dnormalize.rs128 impl<'tcx> TypeVisitor<TyCtxt<'tcx>> for MaxEscapingBoundVarVisitor { impl
/third_party/rust/rust/compiler/rustc_infer/src/infer/error_reporting/nice_region_error/
Dstatic_impl_trait.rs539 impl<'tcx> TypeVisitor<TyCtxt<'tcx>> for TraitObjectVisitor { impl
/third_party/rust/rust/compiler/rustc_hir_typeck/src/fn_ctxt/
Dadjust_fulfillment_errors.rs253 impl<'tcx> TypeVisitor<TyCtxt<'tcx>> for FindAmbiguousParameter<'_, 'tcx> { in find_ambiguous_parameter_in() impl
/third_party/rust/rust/compiler/rustc_hir_typeck/src/
Dclosure.rs244 impl<'tcx> TypeVisitor<TyCtxt<'tcx>> for MentionsTy<'tcx> { in deduce_closure_signature_from_predicates() impl
/third_party/rust/rust/compiler/rustc_hir_analysis/src/check/
Dwfcheck.rs734 impl<'tcx> TypeVisitor<TyCtxt<'tcx>> for GATSubstCollector<'tcx> { impl
1541 impl<'tcx> TypeVisitor<TyCtxt<'tcx>> for ImplTraitInTraitFinder<'_, 'tcx> { impl
/third_party/rust/rust/compiler/rustc_trait_selection/src/solve/
Deval_ctxt.rs652 impl<'tcx> TypeVisitor<TyCtxt<'tcx>> for ContainsTerm<'_, 'tcx> { in term_is_fully_unconstrained() impl
/third_party/rust/rust/compiler/rustc_hir_analysis/src/collect/
Dresolve_bound_vars.rs2000 impl<'tcx> TypeVisitor<TyCtxt<'tcx>> for ConstrainedCollectorPostAstConv { in is_late_bound_map() impl
/third_party/rust/rust/compiler/rustc_privacy/src/
Dlib.rs185 impl<'tcx, V> TypeVisitor<TyCtxt<'tcx>> for DefIdVisitorSkeleton<'_, 'tcx, V> impl