List of all items

Structs

• errors::ClosureFnMutLabel
• errors::ClosureFnOnceLabel
• errors::ClosureKindMismatch
• errors::DumpVTableEntries
• errors::EmptyOnClauseInOnUnimplemented
• errors::InherentProjectionNormalizationOverflow
• errors::InvalidOnClauseInOnUnimplemented
• errors::NegativePositiveConflict
• errors::NoValueInOnUnimplemented
• errors::UnableToConstructConstantValue
• infer::CombinedSnapshot
• infer::InferCtxt
• infer::InferCtxtBuilder
• infer::InferCtxtInner
• infer::InferOk
• infer::RegionObligation
• infer::TypeFreshener
• infer::TypeTrace
• infer::at::At
• infer::at::Trace
• infer::canonical::Canonical
• infer::canonical::CanonicalVarInfo
• 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::free_regions::FreeRegionMap
• infer::nll_relate::TypeRelating
• infer::opaque_types::ConstrainOpaqueTypeRegionVisitor
• infer::opaque_types::OpaqueTypeDecl
• infer::opaque_types::OpaqueTypeStorage
• infer::opaque_types::OpaqueTypeTable
• infer::outlives::env::OutlivesEnvironment
• 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::OpportunisticRegionResolver
• infer::resolve::OpportunisticVarResolver
• infer::resolve::UnresolvedTypeOrConstFinder
• infer::type_variable::TypeVariableOrigin
• infer::type_variable::TypeVariableStorage
• infer::type_variable::TypeVariableTable
• solve::EvalCtxt
• solve::FulfillmentCtxt
• solve::assembly::Candidate
• solve::assembly::structural_traits::ReplaceProjectionWith
• solve::canonicalize::Canonicalizer
• solve::eval_ctxt::EvalCtxt
• solve::eval_ctxt::NestedGoals
• solve::eval_ctxt::canonical::EagerResolver
• solve::eval_ctxt::probe::ProbeCtxt
• solve::fulfill::FulfillmentCtxt
• 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::BuilderData
• 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::NormalizationFolder
• solve::search_graph::SearchGraph
• solve::search_graph::StackDepth
• solve::search_graph::StackEntry
• 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::ProjectionCache
• traits::ProjectionCacheKey
• traits::ProjectionCacheStorage
• traits::SelectionContext
• traits::SelectionOutputTypeParameterMismatch
• 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::NoValueInOnUnimplementedLint
• traits::error_reporting::on_unimplemented::OnUnimplementedDirective
• traits::error_reporting::on_unimplemented::OnUnimplementedFormatString
• traits::error_reporting::on_unimplemented::OnUnimplementedNote
• traits::error_reporting::suggestions::AwaitsVisitor
• traits::error_reporting::suggestions::GeneratorData
• traits::error_reporting::suggestions::ReplaceImplTraitFolder
• traits::error_reporting::suggestions::ReplaceImplTraitVisitor
• traits::error_reporting::suggestions::ReturnsVisitor
• traits::fulfill::FulfillProcessor
• traits::fulfill::FulfillmentContext
• traits::fulfill::PendingPredicateObligation
• traits::project::AssocTypeNormalizer
• traits::project::BoundVarReplacer
• traits::project::InProgress
• traits::project::PlaceholderReplacer
• 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::Elaborator
• traits::util::FilterToTraits
• traits::util::PredicateSet
• traits::util::SupertraitDefIds
• traits::util::TraitAliasExpander
• traits::util::TraitAliasExpansionInfo
• traits::util::traits::DerivedObligationCause
• traits::util::traits::FulfillmentError
• traits::util::traits::IfExpressionCause
• traits::util::traits::ImplDerivedObligationCause
• traits::util::traits::ImplSourceUserDefinedData
• traits::util::traits::InternedObligationCauseCode
• traits::util::traits::MatchExpressionArmCause
• traits::util::traits::MismatchedProjectionTypes
• traits::util::traits::Normalized
• traits::util::traits::Obligation
• traits::util::traits::ObligationCause
• traits::util::traits::ProjectionCache
• traits::util::traits::ProjectionCacheKey
• traits::util::traits::ProjectionCacheStorage
• traits::util::traits::SelectionOutputTypeParameterMismatch
• traits::util::traits::UnifyReceiverContext
• traits::util::traits::query::CandidateStep
• traits::util::traits::query::DropckConstraint
• traits::util::traits::query::DropckOutlivesResult
• traits::util::traits::query::MethodAutoderefBadTy
• traits::util::traits::query::MethodAutoderefStepsResult
• traits::util::traits::query::NoSolution
• traits::util::traits::query::NormalizationResult
• traits::util::traits::query::type_op::AscribeUserType
• traits::util::traits::query::type_op::Eq
• traits::util::traits::query::type_op::Normalize
• traits::util::traits::query::type_op::ProvePredicate
• traits::util::traits::query::type_op::Subtype
• traits::util::traits::solve::CacheData
• traits::util::traits::solve::EvaluationCache
• traits::util::traits::solve::ExternalConstraints
• traits::util::traits::solve::ExternalConstraintsData
• traits::util::traits::solve::Goal
• traits::util::traits::solve::PredefinedOpaques
• traits::util::traits::solve::PredefinedOpaquesData
• traits::util::traits::solve::QueryInput
• traits::util::traits::solve::Response
• traits::util::traits::solve::inspect::AddedGoalsEvaluation
• traits::util::traits::solve::inspect::CanonicalGoalEvaluation
• traits::util::traits::solve::inspect::GoalEvaluation
• traits::util::traits::solve::inspect::GoalEvaluationStep
• traits::util::traits::solve::inspect::Probe
• traits::util::traits::solve::inspect::State
• traits::util::traits::specialization_graph::Ancestors
• traits::util::traits::specialization_graph::Children
• traits::util::traits::specialization_graph::Graph
• traits::util::traits::specialization_graph::LeafDef
• traits::util::traits::util::Elaborator
• traits::util::traits::util::FilterToTraits
• traits::util::traits::util::PredicateSet
• traits::wf::WfPredicates

Enums

• errors::AdjustSignatureBorrow
• infer::DefineOpaqueTypes
• infer::FixupError
• infer::IntVarValue
• infer::LateBoundRegionConversionTime
• infer::NllRegionVariableOrigin
• infer::RegionResolutionError
• infer::RegionVariableOrigin
• 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::UseGlobalCache
• solve::alias_relate::Invert
• solve::canonicalize::CanonicalizeMode
• solve::eval_ctxt::GenerateProofTree
• solve::eval_ctxt::UseGlobalCache
• solve::inspect::CacheHit
• 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::MethodViolationCode
• traits::ObjectSafetyViolation
• 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::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::ambiguity::Ambiguity
• traits::error_reporting::on_unimplemented::AppendConstMessage
• traits::error_reporting::suggestions::GeneratorInteriorOrUpvar
• 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::IsNormalizesToHack
• traits::solve::MaybeCause
• traits::solve::inspect::CacheHit
• 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::util::traits::BuiltinImplSource
• traits::util::traits::CodegenObligationError
• traits::util::traits::DefiningAnchor
• traits::util::traits::EvaluationResult
• traits::util::traits::FulfillmentErrorCode
• traits::util::traits::ImplSource
• traits::util::traits::MethodViolationCode
• traits::util::traits::ObjectSafetyViolation
• traits::util::traits::ObligationCauseCode
• traits::util::traits::OverflowError
• traits::util::traits::ProjectionCacheEntry
• traits::util::traits::Reveal
• traits::util::traits::SelectionError
• traits::util::traits::StatementAsExpression
• traits::util::traits::WellFormedLoc
• traits::util::traits::query::OutlivesBound
• traits::util::traits::select::EvaluationResult
• traits::util::traits::select::OverflowError
• traits::util::traits::select::SelectionCandidate
• traits::util::traits::solve::CandidateSource
• traits::util::traits::solve::Certainty
• traits::util::traits::solve::IsNormalizesToHack
• traits::util::traits::solve::MaybeCause
• traits::util::traits::solve::inspect::CacheHit
• traits::util::traits::solve::inspect::CanonicalGoalEvaluationKind
• traits::util::traits::solve::inspect::GoalEvaluationKind
• traits::util::traits::solve::inspect::ProbeKind
• traits::util::traits::solve::inspect::ProbeStep
• traits::util::traits::specialization_graph::Node
• traits::util::traits::specialization_graph::OverlapMode
• 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::lattice::LatticeDir
• infer::nll_relate::TypeRelatingDelegate
• infer::outlives::obligations::TypeOutlivesDelegate
• 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::InferCtxtPrivExt
• traits::error_reporting::TypeErrCtxtExt
• traits::error_reporting::on_unimplemented::TypeErrCtxtExt
• traits::error_reporting::suggestions::NextTypeParamName
• traits::error_reporting::suggestions::TypeErrCtxtExt
• traits::outlives_bounds::InferCtxtExt
• traits::project::NormalizeExt
• 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
• traits::util::traits::TraitEngine
• traits::util::traits::TraitEngineExt
• traits::util::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::lattice::super_lattice_tys
• 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::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::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::normalize::deeply_normalize
• solve::normalize::deeply_normalize_with_skipped_universes
• solve::project_goals::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::impl_intersection_has_impossible_obligation
• traits::coherence::impl_intersection_has_negative_obligation
• traits::coherence::negative_impl_exists
• traits::coherence::orphan_check
• traits::coherence::orphan_check_trait_ref
• traits::coherence::overlap
• traits::coherence::overlapping_impls
• traits::coherence::prove_negated_obligation
• traits::coherence::search_ambiguity_causes
• traits::coherence::trait_ref_is_knowable
• traits::coherence::trait_ref_is_local_or_fundamental
• traits::coherence::with_fresh_ty_vars
• 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::get_explanation_based_on_obligation
• traits::error_reporting::report_object_safety_error
• traits::error_reporting::suggestions::hint_missing_borrow
• 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::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::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_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_violation_for_assoc_item
• traits::object_safety::object_safety_violations
• 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_violation_for_method
• traits::orphan_check
• 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_builtin_candidate
• traits::project::confirm_callable_candidate
• traits::project::confirm_candidate
• traits::project::confirm_closure_candidate
• traits::project::confirm_fn_pointer_candidate
• traits::project::confirm_future_candidate
• traits::project::confirm_generator_candidate
• traits::project::confirm_impl_candidate
• traits::project::confirm_param_env_candidate
• traits::project::confirm_select_candidate
• traits::project::needs_normalization
• traits::project::normalize_inherent_projection
• traits::project::normalize_projection_type
• traits::project::normalize_to_error
• traits::project::normalize_with_depth
• traits::project::normalize_with_depth_to
• traits::project::opt_normalize_projection_type
• traits::project::poly_project_and_unify_type
• traits::project::project
• traits::project::project_and_unify_type
• traits::project::try_normalize_with_depth_to
• traits::project::with_replaced_escaping_bound_vars
• 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_inner
• traits::query::type_op::implied_outlives_bounds::implied_bounds_from_components
• traits::search_for_structural_match_violation
• traits::select::bind_generator_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::subst_and_check_impossible_predicates
• 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::check_args_compatible
• traits::util::closure_trait_ref_and_return_type
• traits::util::elaborate
• traits::util::expand_trait_aliases
• traits::util::future_trait_ref_and_outputs
• traits::util::generator_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::supertrait_def_ids
• traits::util::supertraits
• traits::util::traits::error_reporting::report_object_safety_error
• traits::util::traits::specialization_graph::ancestors
• traits::util::traits::util::anonymize_predicate
• traits::util::traits::util::elaborate
• traits::util::traits::util::supertraits
• traits::util::traits::util::transitive_bounds
• traits::util::traits::util::transitive_bounds_that_define_assoc_item
• traits::util::transitive_bounds
• traits::util::transitive_bounds_that_define_assoc_item
• traits::util::upcast_choices
• 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

Type Aliases

• infer::FixupResult
• infer::InferResult
• infer::UnitResult
• infer::canonical::CanonicalQueryResponse
• 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::PolyTraitObligation
• traits::PredicateObligation
• traits::PredicateObligations
• traits::Selection
• traits::SelectionCache
• traits::SelectionResult
• traits::TraitObligation
• traits::outlives_bounds::Bounds
• traits::project::PolyProjectionObligation
• traits::project::ProjectionObligation
• traits::project::ProjectionTyObligation
• traits::query::CanonicalPredicateGoal
• traits::query::CanonicalProjectionGoal
• 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
• traits::util::traits::EvaluationCache
• traits::util::traits::NormalizedTy
• traits::util::traits::PolyTraitObligation
• traits::util::traits::PredicateObligation
• traits::util::traits::PredicateObligations
• traits::util::traits::Selection
• traits::util::traits::SelectionCache
• traits::util::traits::SelectionResult
• traits::util::traits::TraitObligation
• traits::util::traits::query::CanonicalPredicateGoal
• traits::util::traits::query::CanonicalProjectionGoal
• traits::util::traits::query::CanonicalTyGoal
• traits::util::traits::query::CanonicalTypeOpAscribeUserTypeGoal
• traits::util::traits::query::CanonicalTypeOpEqGoal
• traits::util::traits::query::CanonicalTypeOpNormalizeGoal
• traits::util::traits::query::CanonicalTypeOpProvePredicateGoal
• traits::util::traits::query::CanonicalTypeOpSubtypeGoal
• traits::util::traits::select::EvaluationCache
• traits::util::traits::select::SelectionCache
• traits::util::traits::solve::CanonicalInput
• traits::util::traits::solve::CanonicalResponse
• traits::util::traits::solve::QueryResult
• traits::util::traits::solve::inspect::CanonicalState

Statics

• DEFAULT_LOCALE_RESOURCE
• traits::error_reporting::on_unimplemented::ALLOWED_FORMAT_SYMBOLS

Constants

• errors::_DERIVE_rustc_errors_AddToDiagnostic_FOR_ClosureFnMutLabel
• errors::_DERIVE_rustc_errors_AddToDiagnostic_FOR_ClosureFnOnceLabel
• errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_ClosureKindMismatch
• errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_DumpVTableEntries
• errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_EmptyOnClauseInOnUnimplemented
• errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_InherentProjectionNormalizationOverflow
• errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_InvalidOnClauseInOnUnimplemented
• errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_NoValueInOnUnimplemented
• errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_UnableToConstructConstantValue
• traits::error_reporting::on_unimplemented::_DERIVE_rustc_errors_DecorateLint_a_FOR_NoValueInOnUnimplementedLint