List of all items
Structs
- errors::AsyncClosureNotFn
- errors::ClosureFnMutLabel
- errors::ClosureFnOnceLabel
- errors::ClosureKindMismatch
- errors::DumpVTableEntries
- errors::EmptyOnClauseInOnUnimplemented
- errors::InherentProjectionNormalizationOverflow
- errors::InvalidOnClauseInOnUnimplemented
- errors::NegativePositiveConflict
- errors::NoValueInOnUnimplemented
- errors::UnableToConstructConstantValue
- infer::CombineFields
- infer::InferCtxt
- infer::InferCtxtBuilder
- infer::InferCtxtInner
- infer::InferOk
- infer::RegionObligation
- infer::TypeFreshener
- infer::TypeTrace
- infer::at::At
- infer::at::Trace
- infer::canonical::CanonicalParamEnvCache
- infer::canonical::CanonicalVarValues
- infer::canonical::OriginalQueryValues
- infer::canonical::QueryRegionConstraints
- infer::canonical::QueryResponse
- infer::error_reporting::ObligationCauseAsDiagArg
- infer::error_reporting::TypeErrCtxt
- infer::error_reporting::nice_region_error::HirTraitObjectVisitor
- infer::error_reporting::nice_region_error::NiceRegionError
- infer::error_reporting::nice_region_error::TraitObjectVisitor
- infer::error_reporting::sub_relations::SubRelations
- infer::free_regions::FreeRegionMap
- infer::opaque_types::ConstrainOpaqueTypeRegionVisitor
- infer::opaque_types::OpaqueTypeDecl
- infer::opaque_types::OpaqueTypeStorage
- infer::opaque_types::OpaqueTypeTable
- infer::outlives::env::OutlivesEnvironment
- infer::outlives::for_liveness::FreeRegionsVisitor
- infer::outlives::obligations::TypeOutlives
- infer::outlives::verify::VerifyBoundCx
- infer::region_constraints::MemberConstraint
- infer::region_constraints::RegionConstraintCollector
- infer::region_constraints::RegionConstraintData
- infer::region_constraints::RegionConstraintStorage
- infer::region_constraints::RegionSnapshot
- infer::region_constraints::RegionVariableInfo
- infer::region_constraints::Verify
- infer::region_constraints::VerifyIfEq
- infer::resolve::EagerResolver
- infer::resolve::OpportunisticRegionResolver
- infer::resolve::OpportunisticVarResolver
- infer::type_variable::TypeVariableOrigin
- infer::type_variable::TypeVariableStorage
- infer::type_variable::TypeVariableTable
- solve::EvalCtxt
- solve::FulfillmentCtxt
- solve::assembly::Candidate
- solve::assembly::structural_traits::AsyncCallableRelevantTypes
- solve::assembly::structural_traits::ReplaceProjectionWith
- solve::eval_ctxt::EvalCtxt
- solve::eval_ctxt::NestedGoals
- solve::eval_ctxt::probe::ProbeCtxt
- solve::eval_ctxt::probe::TraitProbeCtxt
- solve::fulfill::FulfillmentCtxt
- solve::fulfill::ObligationStorage
- solve::inspect::AddedGoalsEvaluation
- solve::inspect::CanonicalGoalEvaluation
- solve::inspect::GoalEvaluation
- solve::inspect::GoalEvaluationStep
- solve::inspect::InspectCandidate
- solve::inspect::InspectGoal
- solve::inspect::Probe
- solve::inspect::State
- solve::inspect::analyse::InspectCandidate
- solve::inspect::analyse::InspectGoal
- solve::inspect::build::ProofTreeBuilder
- solve::inspect::build::WipAddedGoalsEvaluation
- solve::inspect::build::WipCanonicalGoalEvaluation
- solve::inspect::build::WipGoalEvaluation
- solve::inspect::build::WipGoalEvaluationStep
- solve::inspect::build::WipProbe
- solve::normalize::DeeplyNormalizeForDiagnosticsFolder
- solve::normalize::NormalizationFolder
- solve::search_graph::DetachedEntry
- solve::search_graph::HasBeenUsed
- solve::search_graph::ProvisionalCacheEntry
- solve::search_graph::SearchGraph
- solve::search_graph::StackDepth
- solve::search_graph::StackEntry
- traits::BoundVarReplacer
- traits::DerivedObligationCause
- traits::FulfillmentContext
- traits::FulfillmentError
- traits::FutureCompatOverlapError
- traits::IfExpressionCause
- traits::ImplDerivedObligationCause
- traits::ImplSourceUserDefinedData
- traits::InternedObligationCauseCode
- traits::MatchExpressionArmCause
- traits::MismatchedProjectionTypes
- traits::Normalized
- traits::Obligation
- traits::ObligationCause
- traits::ObligationCtxt
- traits::OverlapError
- traits::OverlapResult
- traits::PendingPredicateObligation
- traits::PlaceholderReplacer
- traits::ProjectionCache
- traits::ProjectionCacheKey
- traits::ProjectionCacheStorage
- traits::SelectionContext
- traits::SignatureMismatchData
- traits::SupertraitDefIds
- traits::TraitAliasExpander
- traits::UnifyReceiverContext
- traits::auto_trait::AutoTraitFinder
- traits::auto_trait::AutoTraitInfo
- traits::auto_trait::RegionDeps
- traits::coherence::AmbiguityCausesVisitor
- traits::coherence::OrphanChecker
- traits::coherence::OverlapResult
- traits::engine::ObligationCtxt
- traits::error_reporting::FindExprBySpan
- traits::error_reporting::FindTypeParam
- traits::error_reporting::HasNumericInferVisitor
- traits::error_reporting::ImplCandidate
- traits::error_reporting::UnsatisfiedConst
- traits::error_reporting::on_unimplemented::DisallowedPositionalArgument
- traits::error_reporting::on_unimplemented::IgnoredDiagnosticOption
- traits::error_reporting::on_unimplemented::InvalidFormatSpecifier
- traits::error_reporting::on_unimplemented::MalformedOnUnimplementedAttrLint
- traits::error_reporting::on_unimplemented::MissingOptionsForOnUnimplementedAttr
- traits::error_reporting::on_unimplemented::OnUnimplementedDirective
- traits::error_reporting::on_unimplemented::OnUnimplementedFormatString
- traits::error_reporting::on_unimplemented::OnUnimplementedNote
- traits::error_reporting::on_unimplemented::UnknownFormatParameterForOnUnimplementedAttr
- traits::error_reporting::on_unimplemented::WrappedParserError
- traits::error_reporting::suggestions::AwaitsVisitor
- traits::error_reporting::suggestions::CoroutineData
- traits::error_reporting::suggestions::ReplaceImplTraitFolder
- traits::error_reporting::suggestions::ReplaceImplTraitVisitor
- traits::error_reporting::suggestions::ReturnsVisitor
- traits::error_reporting::suggestions::SelfVisitor
- traits::fulfill::FulfillProcessor
- traits::fulfill::FulfillmentContext
- traits::fulfill::PendingPredicateObligation
- traits::normalize::AssocTypeNormalizer
- traits::project::InProgress
- traits::project::Progress
- traits::query::CandidateStep
- traits::query::DropckConstraint
- traits::query::DropckOutlivesResult
- traits::query::MethodAutoderefBadTy
- traits::query::MethodAutoderefStepsResult
- traits::query::NoSolution
- traits::query::NormalizationResult
- traits::query::method_autoderef::CandidateStep
- traits::query::method_autoderef::MethodAutoderefBadTy
- traits::query::method_autoderef::MethodAutoderefStepsResult
- traits::query::normalize::MaxEscapingBoundVarVisitor
- traits::query::normalize::NormalizationResult
- traits::query::normalize::QueryNormalizer
- traits::query::type_op::AscribeUserType
- traits::query::type_op::Eq
- traits::query::type_op::Normalize
- traits::query::type_op::ProvePredicate
- traits::query::type_op::Subtype
- traits::query::type_op::TypeOpOutput
- traits::query::type_op::ascribe_user_type::AscribeUserType
- traits::query::type_op::custom::CustomTypeOp
- traits::query::type_op::eq::Eq
- traits::query::type_op::implied_outlives_bounds::ImpliedOutlivesBounds
- traits::query::type_op::normalize::Normalize
- traits::query::type_op::outlives::DropckOutlives
- traits::query::type_op::prove_predicate::ProvePredicate
- traits::query::type_op::subtype::Subtype
- traits::select::EvaluatedCandidate
- traits::select::ProvisionalEvaluation
- traits::select::ProvisionalEvaluationCache
- traits::select::SelectionCandidateSet
- traits::select::SelectionContext
- traits::select::TraitObligationStack
- traits::select::TraitObligationStackList
- traits::solve::CacheData
- traits::solve::EvaluationCache
- traits::solve::ExternalConstraints
- traits::solve::ExternalConstraintsData
- traits::solve::Goal
- traits::solve::PredefinedOpaques
- traits::solve::PredefinedOpaquesData
- traits::solve::QueryInput
- traits::solve::Response
- traits::solve::inspect::AddedGoalsEvaluation
- traits::solve::inspect::CanonicalGoalEvaluation
- traits::solve::inspect::GoalEvaluation
- traits::solve::inspect::GoalEvaluationStep
- traits::solve::inspect::Probe
- traits::solve::inspect::State
- traits::specialization_graph::Ancestors
- traits::specialization_graph::Children
- traits::specialization_graph::FutureCompatOverlapError
- traits::specialization_graph::Graph
- traits::specialization_graph::LeafDef
- traits::specialize::OverlapError
- traits::specialize::specialization_graph::Ancestors
- traits::specialize::specialization_graph::Children
- traits::specialize::specialization_graph::FutureCompatOverlapError
- traits::specialize::specialization_graph::Graph
- traits::specialize::specialization_graph::LeafDef
- traits::structural_match::Search
- traits::util::BoundVarReplacer
- traits::util::Elaborator
- traits::util::FilterToTraits
- traits::util::PlaceholderReplacer
- traits::util::PredicateSet
- traits::util::SupertraitDefIds
- traits::util::TraitAliasExpander
- traits::util::TraitAliasExpansionInfo
- traits::wf::WfPredicates
Enums
- errors::AdjustSignatureBorrow
- infer::BoundRegionConversionTime
- infer::DefineOpaqueTypes
- infer::FixupError
- infer::IntVarValue
- infer::NllRegionVariableOrigin
- infer::RegionResolutionError
- infer::RegionVariableOrigin
- infer::StructurallyRelateAliases
- infer::SubregionOrigin
- infer::TyOrConstInferVar
- infer::ValuePairs
- infer::at::DefineOpaqueTypes
- infer::canonical::CanonicalTyVarKind
- infer::canonical::CanonicalVarKind
- infer::canonical::Certainty
- infer::error_reporting::FailureCode
- infer::error_reporting::TyCategory
- infer::error_reporting::TypeAnnotationNeeded
- infer::opaque_types::UseKind
- infer::outlives::components::Component
- infer::region_constraints::Constraint
- infer::region_constraints::GenericKind
- infer::region_constraints::VerifyBound
- infer::type_variable::TypeVariableOriginKind
- infer::type_variable::TypeVariableValue
- solve::GenerateProofTree
- solve::GoalEvaluationKind
- solve::SolverMode
- solve::eval_ctxt::GenerateProofTree
- solve::inspect::CanonicalGoalEvaluationKind
- solve::inspect::GoalEvaluationKind
- solve::inspect::ProbeKind
- solve::inspect::ProbeStep
- solve::inspect::build::DebugSolver
- solve::inspect::build::WipCanonicalGoalEvaluationKind
- solve::inspect::build::WipGoalEvaluationKind
- solve::inspect::build::WipProbeStep
- traits::BuiltinImplSource
- traits::CodegenObligationError
- traits::DefiningAnchor
- traits::EvaluationResult
- traits::FulfillmentErrorCode
- traits::FutureCompatOverlapErrorKind
- traits::ImplSource
- traits::IntercrateAmbiguityCause
- traits::IsConstable
- traits::IsFirstInputType
- traits::MethodViolationCode
- traits::ObjectSafetyViolation
- traits::ObjectSafetyViolationSolution
- traits::ObligationCauseCode
- traits::OrphanCheckErr
- traits::OverflowError
- traits::ProjectionCacheEntry
- traits::Reveal
- traits::SelectionError
- traits::SkipLeakCheck
- traits::StatementAsExpression
- traits::TraitQueryMode
- traits::WellFormedLoc
- traits::auto_trait::AutoTraitResult
- traits::auto_trait::RegionTarget
- traits::coherence::Conflict
- traits::coherence::InCrate
- traits::coherence::IntersectionHasImpossibleObligations
- traits::coherence::IsFirstInputType
- traits::coherence::OrphanCheckEarlyExit
- traits::coherence::OrphanCheckErr
- traits::coherence::TrackAmbiguityCauses
- traits::error_reporting::ArgKind
- traits::error_reporting::CandidateSimilarity
- traits::error_reporting::DefIdOrName
- traits::error_reporting::GetSafeTransmuteErrorAndReason
- traits::error_reporting::OverflowCause
- traits::error_reporting::ambiguity::Ambiguity
- traits::error_reporting::on_unimplemented::AppendConstMessage
- traits::error_reporting::suggestions::CoroutineInteriorOrUpvar
- traits::error_reporting::type_err_ctxt_ext::OverflowCause
- traits::misc::ConstParamTyImplementationError
- traits::misc::CopyImplementationError
- traits::misc::InfringingFieldsReason
- traits::object_safety::MethodViolationCode
- traits::object_safety::ObjectSafetyViolation
- traits::outlives_bounds::OutlivesBound
- traits::project::ProjectAndUnifyResult
- traits::project::Projected
- traits::project::ProjectionCandidate
- traits::project::ProjectionCandidateSet
- traits::project::ProjectionError
- traits::project::Reveal
- traits::query::OutlivesBound
- traits::select::BuiltinImplConditions
- traits::select::DropVictim
- traits::select::EvaluationResult
- traits::select::IntercrateAmbiguityCause
- traits::select::OverflowError
- traits::select::ProjectionMatchesProjection
- traits::select::SelectionCandidate
- traits::select::TreatInductiveCycleAs
- traits::solve::CandidateSource
- traits::solve::Certainty
- traits::solve::GoalSource
- traits::solve::IsNormalizesToHack
- traits::solve::MaybeCause
- traits::solve::inspect::CanonicalGoalEvaluationKind
- traits::solve::inspect::GoalEvaluationKind
- traits::solve::inspect::ProbeKind
- traits::solve::inspect::ProbeStep
- traits::specialization_graph::FutureCompatOverlapErrorKind
- traits::specialization_graph::Node
- traits::specialization_graph::OverlapMode
- traits::specialize::specialization_graph::FutureCompatOverlapErrorKind
- traits::specialize::specialization_graph::Inserted
- traits::specialize::specialization_graph::Node
- traits::specialize::specialization_graph::OverlapMode
- traits::specialize::specialization_graph::PotentialSiblings
- traits::util::TupleArgumentsFlag
- traits::vtable::VtblSegment
- traits::wf::Elaborate
Traits
- infer::InferCtxtBuilderExt
- infer::InferCtxtExt
- infer::ObligationEmittingRelation
- infer::TyCtxtInferExt
- infer::at::ToTrace
- infer::canonical::CanonicalExt
- infer::error_reporting::ObligationCauseExt
- infer::outlives::obligations::TypeOutlivesDelegate
- regions::InferCtxtRegionExt
- solve::CanonicalResponseExt
- solve::InferCtxtEvalExt
- solve::InferCtxtSelectExt
- solve::assembly::GoalKind
- solve::eval_ctxt::InferCtxtEvalExt
- solve::eval_ctxt::canonical::ResponseT
- solve::eval_ctxt::select::InferCtxtSelectExt
- solve::inspect::ProofTreeInferCtxtExt
- solve::inspect::ProofTreeVisitor
- solve::inspect::analyse::ProofTreeInferCtxtExt
- solve::inspect::analyse::ProofTreeVisitor
- traits::StructurallyNormalizeExt
- traits::TraitEngine
- traits::TraitEngineExt
- traits::engine::TraitEngineExt
- traits::error_reporting::InferCtxtExt
- traits::error_reporting::TypeErrCtxtExt
- traits::error_reporting::infer_ctxt_ext::InferCtxtExt
- traits::error_reporting::on_unimplemented::TypeErrCtxtExt
- traits::error_reporting::suggestions::NextTypeParamName
- traits::error_reporting::suggestions::TypeErrCtxtExt
- traits::error_reporting::type_err_ctxt_ext::InferCtxtPrivExt
- traits::error_reporting::type_err_ctxt_ext::TypeErrCtxtExt
- traits::normalize::NormalizeExt
- traits::outlives_bounds::InferCtxtExt
- traits::project::ProjectionCacheKeyExt
- traits::query::evaluate_obligation::InferCtxtExt
- traits::query::normalize::QueryNormalizeExt
- traits::query::type_op::QueryTypeOp
- traits::query::type_op::TypeOp
- traits::query::type_op::normalize::Normalizable
- traits::specialization_graph::GraphExt
- traits::specialize::specialization_graph::ChildrenExt
- traits::specialize::specialization_graph::GraphExt
- traits::structural_normalize::StructurallyNormalizeExt
- traits::util::Elaboratable
Functions
- infer::canonical::query_response::make_query_region_constraints
- infer::error_reporting::nice_region_error::find_anon_type
- infer::error_reporting::nice_region_error::find_anon_type::find_anon_type
- infer::error_reporting::nice_region_error::find_param_with_region
- infer::error_reporting::nice_region_error::suggest_adding_lifetime_params
- infer::error_reporting::nice_region_error::suggest_new_region_bound
- infer::error_reporting::unexpected_hidden_region_diagnostic
- infer::outlives::components::push_outlives_components
- infer::outlives::explicit_outlives_bounds
- infer::outlives::test_type_match::extract_verify_if_eq
- infer::resolve::fully_resolve
- solve::assembly::structural_traits::coroutine_closure_to_ambiguous_coroutine
- solve::assembly::structural_traits::coroutine_closure_to_certain_coroutine
- solve::assembly::structural_traits::extract_tupled_inputs_and_output_from_async_callable
- solve::assembly::structural_traits::extract_tupled_inputs_and_output_from_callable
- solve::assembly::structural_traits::instantiate_constituent_tys_for_auto_trait
- solve::assembly::structural_traits::instantiate_constituent_tys_for_copy_clone_trait
- solve::assembly::structural_traits::instantiate_constituent_tys_for_sized_trait
- solve::assembly::structural_traits::predicates_for_object_candidate
- solve::assembly::structural_traits::replace_erased_lifetimes_with_bound_vars
- solve::deeply_normalize
- solve::deeply_normalize_with_skipped_universes
- solve::eval_ctxt::select::candidate_should_be_dropped_in_favor_of
- solve::eval_ctxt::select::rematch_impl
- solve::eval_ctxt::select::rematch_unsize
- solve::eval_ctxt::select::structurally_normalize
- solve::fulfill::fulfillment_error_for_no_solution
- solve::fulfill::fulfillment_error_for_stalled
- solve::normalize::deeply_normalize
- solve::normalize::deeply_normalize_for_diagnostics
- solve::normalize::deeply_normalize_with_skipped_universes
- solve::normalizes_to::fetch_eligible_assoc_item_def
- solve::response_no_constraints_raw
- traits::add_placeholder_note
- traits::astconv_object_safety_violations
- traits::check_args_compatible
- traits::coherence::add_placeholder_note
- traits::coherence::compute_intercrate_ambiguity_causes
- traits::coherence::equate_impl_headers
- traits::coherence::fresh_impl_header
- traits::coherence::fresh_impl_header_normalized
- traits::coherence::impl_intersection_has_impossible_obligation
- traits::coherence::impl_intersection_has_negative_obligation
- traits::coherence::orphan_check
- traits::coherence::orphan_check_trait_ref
- traits::coherence::overlap
- traits::coherence::overlapping_impls
- traits::coherence::plug_infer_with_placeholders
- traits::coherence::search_ambiguity_causes
- traits::coherence::suggest_increasing_recursion_limit
- traits::coherence::trait_ref_is_knowable
- traits::coherence::trait_ref_is_local_or_fundamental
- traits::coherence::try_prove_negated_where_clause
- traits::const_evaluatable::is_const_evaluatable
- traits::const_evaluatable::satisfied_from_param_env
- traits::do_normalize_predicates
- traits::elaborate
- traits::error_reporting::ambiguity::recompute_applicable_impls
- traits::error_reporting::dump_proof_tree
- traits::error_reporting::infer_ctxt_ext::report_object_safety_error
- traits::error_reporting::report_object_safety_error
- traits::error_reporting::suggest_new_overflow_limit
- traits::error_reporting::suggestions::get_deref_type_and_refs
- traits::error_reporting::suggestions::get_explanation_based_on_obligation
- traits::error_reporting::suggestions::hint_missing_borrow
- traits::error_reporting::suggestions::point_at_assoc_type_restriction
- traits::error_reporting::suggestions::predicate_constraint
- traits::error_reporting::suggestions::suggest_desugaring_async_fn_to_impl_future_in_trait
- traits::error_reporting::suggestions::suggest_restriction
- traits::error_reporting::type_err_ctxt_ext::report_object_safety_error
- traits::error_reporting::type_err_ctxt_ext::suggest_new_overflow_limit
- traits::expand_trait_aliases
- traits::fulfill::args_infer_vars
- traits::fulfill::mk_pending
- traits::fulfill::to_fulfillment_error
- traits::fully_normalize
- traits::get_vtable_index_of_object_method
- traits::impl_item_is_final
- traits::impossible_predicates
- traits::instantiate_and_check_impossible_predicates
- traits::is_impossible_associated_item
- traits::is_vtable_safe_method
- traits::misc::all_fields_implement_trait
- traits::misc::check_tys_might_be_eq
- traits::misc::type_allowed_to_implement_const_param_ty
- traits::misc::type_allowed_to_implement_copy
- traits::normalize::needs_normalization
- traits::normalize::normalize_with_depth
- traits::normalize::normalize_with_depth_to
- traits::normalize_param_env_or_error
- traits::object_safety::astconv_object_safety_violations
- traits::object_safety::bounds_reference_self
- traits::object_safety::check_is_object_safe
- traits::object_safety::contains_illegal_impl_trait_in_trait
- traits::object_safety::contains_illegal_self_type_reference
- traits::object_safety::generics_require_sized_self
- traits::object_safety::get_sized_bounds
- traits::object_safety::is_vtable_safe_method
- traits::object_safety::lint_object_unsafe_trait
- traits::object_safety::object_safety_violations
- traits::object_safety::object_safety_violations_for_assoc_item
- traits::object_safety::object_safety_violations_for_trait
- traits::object_safety::object_ty_for_trait
- traits::object_safety::predicate_references_self
- traits::object_safety::predicates_reference_self
- traits::object_safety::provide
- traits::object_safety::receiver_for_self_ty
- traits::object_safety::receiver_is_dispatchable
- traits::object_safety::sized_trait_bound_spans
- traits::object_safety::super_predicates_have_non_lifetime_binders
- traits::object_safety::trait_has_sized_self
- traits::object_safety::virtual_call_violations_for_method
- traits::object_safety_violations_for_assoc_item
- traits::orphan_check
- traits::outlives_bounds::implied_outlives_bounds
- traits::overlapping_impls
- traits::pred_known_to_hold_modulo_regions
- traits::predicates_for_generics
- traits::project::assemble_candidates_from_impls
- traits::project::assemble_candidates_from_object_ty
- traits::project::assemble_candidates_from_param_env
- traits::project::assemble_candidates_from_predicates
- traits::project::assemble_candidates_from_trait_def
- traits::project::assoc_ty_own_obligations
- traits::project::compute_inherent_assoc_ty_args
- traits::project::confirm_async_closure_candidate
- traits::project::confirm_async_fn_kind_helper_candidate
- traits::project::confirm_async_iterator_candidate
- traits::project::confirm_builtin_candidate
- traits::project::confirm_callable_candidate
- traits::project::confirm_candidate
- traits::project::confirm_closure_candidate
- traits::project::confirm_coroutine_candidate
- traits::project::confirm_fn_pointer_candidate
- traits::project::confirm_future_candidate
- traits::project::confirm_impl_candidate
- traits::project::confirm_iterator_candidate
- traits::project::confirm_param_env_candidate
- traits::project::confirm_select_candidate
- traits::project::normalize_inherent_projection
- traits::project::normalize_projection_type
- traits::project::normalize_to_error
- traits::project::opt_normalize_projection_type
- traits::project::poly_project_and_unify_type
- traits::project::project
- traits::project::project_and_unify_type
- traits::provide
- traits::query::dropck_outlives::compute_dropck_outlives_inner
- traits::query::dropck_outlives::dtorck_constraint_for_ty_inner
- traits::query::dropck_outlives::trivial_dropck_outlives
- traits::query::type_op::ascribe_user_type::relate_mir_and_user_args
- traits::query::type_op::ascribe_user_type::relate_mir_and_user_ty
- traits::query::type_op::ascribe_user_type::type_op_ascribe_user_type_with_span
- traits::query::type_op::custom::scrape_region_constraints
- traits::query::type_op::implied_outlives_bounds::compute_implied_outlives_bounds_compat_inner
- traits::query::type_op::implied_outlives_bounds::compute_implied_outlives_bounds_inner
- traits::query::type_op::implied_outlives_bounds::implied_bounds_from_components
- traits::search_for_structural_match_violation
- traits::select::bind_coroutine_hidden_types_above
- traits::specialization_graph::ancestors
- traits::specialize::fulfill_implication
- traits::specialize::report_conflicting_impls
- traits::specialize::report_negative_positive_conflict
- traits::specialize::report_overlap_conflict
- traits::specialize::specialization_graph::ancestors
- traits::specialize::specialization_graph::assoc_def
- traits::specialize::specialization_graph::filtered_children
- traits::specialize::specialization_graph::iter_children
- traits::specialize::specialization_graph_provider
- traits::specialize::specializes
- traits::specialize::to_pretty_impl_header
- traits::specialize::translate_args
- traits::specialize::translate_args_with_cause
- traits::structural_match::search_for_structural_match_violation
- traits::supertrait_def_ids
- traits::supertraits
- traits::transitive_bounds
- traits::transitive_bounds_that_define_assoc_item
- traits::translate_args
- traits::translate_args_with_cause
- traits::type_known_to_meet_bound_modulo_regions
- traits::upcast_choices
- traits::util::anonymize_predicate
- traits::util::async_iterator_trait_ref_and_outputs
- traits::util::check_args_compatible
- traits::util::closure_trait_ref_and_return_type
- traits::util::coroutine_trait_ref_and_outputs
- traits::util::elaborate
- traits::util::expand_trait_aliases
- traits::util::future_trait_ref_and_outputs
- traits::util::get_vtable_index_of_object_method
- traits::util::impl_item_is_final
- traits::util::impl_subject_and_oblig
- traits::util::iterator_trait_ref_and_outputs
- traits::util::supertrait_def_ids
- traits::util::supertraits
- traits::util::transitive_bounds
- traits::util::transitive_bounds_that_define_assoc_item
- traits::util::upcast_choices
- traits::util::with_replaced_escaping_bound_vars
- traits::vtable::count_own_vtable_entries
- traits::vtable::dump_vtable_entries
- traits::vtable::has_own_existential_vtable_entries
- traits::vtable::maybe_iter
- traits::vtable::own_existential_vtable_entries
- traits::vtable::own_existential_vtable_entries_iter
- traits::vtable::prepare_vtable_segments
- traits::vtable::prepare_vtable_segments_inner
- traits::vtable::provide
- traits::vtable::vtable_entries
- traits::vtable::vtable_trait_first_method_offset
- traits::vtable::vtable_trait_upcasting_coercion_new_vptr_slot
- traits::wf::clause_obligations
- traits::wf::extend_cause_with_original_assoc_item_obligation
- traits::wf::object_region_bounds
- traits::wf::obligations
- traits::wf::required_region_bounds
- traits::wf::trait_obligations
- traits::wf::unnormalized_obligations
- traits::with_replaced_escaping_bound_vars
Type Aliases
- infer::FixupResult
- infer::InferResult
- infer::UnitResult
- infer::canonical::Canonical
- infer::canonical::CanonicalQueryResponse
- infer::canonical::CanonicalVarInfo
- infer::canonical::CanonicalVarInfos
- infer::canonical::QueryOutlivesConstraint
- infer::opaque_types::OpaqueTypeMap
- infer::outlives::env::RegionBoundPairs
- infer::region_constraints::VarInfos
- solve::inspect::CanonicalState
- traits::EvaluationCache
- traits::NormalizedTy
- traits::ObligationInspector
- traits::PolyTraitObligation
- traits::PredicateObligation
- traits::PredicateObligations
- traits::Selection
- traits::SelectionCache
- traits::SelectionResult
- traits::TraitObligation
- traits::outlives_bounds::Bounds
- traits::outlives_bounds::BoundsCompat
- traits::project::PolyProjectionObligation
- traits::project::ProjectionObligation
- traits::project::ProjectionTyObligation
- traits::query::CanonicalAliasGoal
- traits::query::CanonicalPredicateGoal
- traits::query::CanonicalTyGoal
- traits::query::CanonicalTypeOpAscribeUserTypeGoal
- traits::query::CanonicalTypeOpEqGoal
- traits::query::CanonicalTypeOpNormalizeGoal
- traits::query::CanonicalTypeOpProvePredicateGoal
- traits::query::CanonicalTypeOpSubtypeGoal
- traits::select::EvaluationCache
- traits::select::SelectionCache
- traits::solve::CanonicalInput
- traits::solve::CanonicalResponse
- traits::solve::QueryResult
- traits::solve::inspect::CanonicalState