List of all items

Structs

• autoderef::Autoderef
• autoderef::AutoderefSnapshot
• errors::AutoDerefReachedRecursionLimit
• errors::DumpVTableEntries
• errors::EmptyOnClauseInOnUnimplemented
• 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
• traits::ChalkEnvironmentAndGoal
• traits::ChalkFulfillmentContext
• traits::ChalkRustInterner
• traits::DerivedObligationCause
• traits::FulfillmentContext
• traits::FulfillmentError
• traits::FutureCompatOverlapError
• traits::IfExpressionCause
• traits::ImplDerivedObligationCause
• traits::ImplSourceAutoImplData
• traits::ImplSourceBuiltinData
• traits::ImplSourceClosureData
• traits::ImplSourceConstDestructData
• traits::ImplSourceFnPointerData
• traits::ImplSourceFutureData
• traits::ImplSourceGeneratorData
• traits::ImplSourceObjectData
• traits::ImplSourceTraitAliasData
• traits::ImplSourceTraitUpcastingData
• 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::SupertraitDefIds
• traits::TraitAliasExpander
• traits::UnifyReceiverContext
• traits::auto_trait::AutoTraitFinder
• traits::auto_trait::AutoTraitInfo
• traits::auto_trait::RegionDeps
• traits::auto_trait::RegionReplacer
• traits::chalk_fulfill::FulfillmentContext
• traits::coherence::OrphanChecker
• traits::coherence::OverlapResult
• traits::engine::ObligationCtxt
• traits::error_reporting::FindTypeParam
• traits::error_reporting::HasNumericInferVisitor
• traits::error_reporting::ImplCandidate
• traits::error_reporting::method_chain::CollectAllMismatches
• 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::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::dropck_outlives::DropckConstraint
• traits::query::dropck_outlives::DropckOutlivesResult
• 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::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::ChalkEnvironmentAndGoal
• traits::util::traits::ChalkRustInterner
• traits::util::traits::DerivedObligationCause
• traits::util::traits::FulfillmentError
• traits::util::traits::IfExpressionCause
• traits::util::traits::ImplDerivedObligationCause
• traits::util::traits::ImplSourceAutoImplData
• traits::util::traits::ImplSourceBuiltinData
• traits::util::traits::ImplSourceClosureData
• traits::util::traits::ImplSourceConstDestructData
• traits::util::traits::ImplSourceFnPointerData
• traits::util::traits::ImplSourceFutureData
• traits::util::traits::ImplSourceGeneratorData
• traits::util::traits::ImplSourceObjectData
• traits::util::traits::ImplSourceTraitAliasData
• traits::util::traits::ImplSourceTraitUpcastingData
• 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::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::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

• autoderef::AutoderefKind
• infer::DefiningAnchor
• infer::FixupError
• infer::IntVarValue
• infer::LateBoundRegionConversionTime
• infer::NllRegionVariableOrigin
• infer::RegionResolutionError
• infer::RegionVariableOrigin
• infer::SubregionOrigin
• infer::TyOrConstInferVar
• infer::ValuePairs
• infer::canonical::CanonicalTyVarKind
• infer::canonical::CanonicalVarKind
• infer::canonical::Certainty
• infer::error_reporting::FailureCode
• infer::error_reporting::TyCategory
• infer::error_reporting::TypeAnnotationNeeded
• infer::nll_relate::NormalizationStrategy
• 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
• traits::CodegenObligationError
• 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::error_reporting::ArgKind
• traits::error_reporting::CandidateSimilarity
• traits::error_reporting::DefIdOrName
• traits::error_reporting::ambiguity::Ambiguity
• traits::error_reporting::suggestions::GeneratorData
• traits::error_reporting::suggestions::GeneratorInteriorOrUpvar
• traits::misc::CopyImplementationError
• traits::object_safety::MethodViolationCode
• traits::object_safety::ObjectSafetyViolation
• traits::outlives_bounds::OutlivesBound
• traits::project::ImplTraitInTraitCandidate
• 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::EvaluationResult
• traits::select::IntercrateAmbiguityCause
• traits::select::OverflowError
• traits::select::ProjectionMatchesProjection
• traits::select::SelectionCandidate
• 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::CodegenObligationError
• 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::specialization_graph::Node
• traits::util::traits::specialization_graph::OverlapMode
• traits::vtable::VtblSegment
• traits::wf::Elaborate

Traits

• infer::InferCtxtBuilderExt
• infer::InferCtxtExt
• infer::TyCtxtInferExt
• infer::at::ToTrace
• infer::error_reporting::ObligationCauseExt
• infer::lattice::LatticeDir
• infer::nll_relate::TypeRelatingDelegate
• infer::outlives::obligations::TypeOutlivesDelegate
• traits::NormalizeExt
• 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::util::traits::TraitEngine
• traits::util::traits::TraitEngineExt

Functions

• autoderef::report_autoderef_recursion_limit_error
• 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
• traits::add_placeholder_note
• traits::astconv_object_safety_violations
• traits::coherence::add_placeholder_note
• traits::coherence::equate
• traits::coherence::equate_impl_headers
• traits::coherence::implicit_negative
• traits::coherence::negative_impl
• traits::coherence::negative_impl_exists
• traits::coherence::orphan_check
• traits::coherence::orphan_check_trait_ref
• traits::coherence::overlap
• traits::coherence::overlap_within_probe
• traits::coherence::overlapping_impls
• traits::coherence::resolve_negative_obligation
• 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_obligations
• traits::elaborate_predicates
• traits::elaborate_predicates_with_span
• traits::elaborate_trait_ref
• traits::elaborate_trait_refs
• traits::error_reporting::ambiguity::recompute_applicable_impls
• 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_restriction
• traits::error_reporting::suggestions::suggest_trait_object_return_type_alternatives
• traits::expand_trait_aliases
• traits::fulfill::mk_pending
• traits::fulfill::substs_infer_vars
• traits::fulfill::to_fulfillment_error
• traits::fully_normalize
• traits::fully_solve_bound
• traits::fully_solve_obligation
• traits::fully_solve_obligations
• traits::get_vtable_index_of_object_method
• traits::impl_item_is_final
• traits::impossible_predicates
• traits::is_impossible_method
• traits::is_vtable_safe_method
• traits::misc::can_type_implement_copy
• traits::normalize_param_env_or_error
• traits::normalize_projection_type
• traits::object_safety::astconv_object_safety_violations
• traits::object_safety::bounds_reference_self
• 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_method
• 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::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::predicate_for_trait_def
• traits::predicates_for_generics
• traits::project::assemble_candidate_for_impl_trait_in_trait
• 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_def
• traits::project::assoc_ty_own_obligations
• traits::project::check_substs_compatible
• 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_impl_trait_in_trait_candidate
• traits::project::confirm_param_env_candidate
• traits::project::confirm_select_candidate
• traits::project::needs_normalization
• 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::trivial_dropck_outlives
• traits::query::type_op::custom::scrape_region_constraints
• traits::relationships::update
• traits::search_for_adt_const_param_violation
• traits::search_for_structural_match_violation
• 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::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_substs
• traits::structural_match::search_for_adt_const_param_violation
• 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_type
• traits::translate_substs
• traits::type_known_to_meet_bound_modulo_regions
• traits::upcast_choices
• traits::util::anonymize_predicate
• traits::util::closure_trait_ref_and_return_type
• traits::util::elaborate_obligations
• traits::util::elaborate_predicates
• traits::util::elaborate_predicates_with_span
• traits::util::elaborate_trait_ref
• traits::util::elaborate_trait_refs
• 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::predicate_for_trait_def
• traits::util::predicate_for_trait_ref
• 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_obligations
• traits::util::traits::util::elaborate_predicates
• traits::util::traits::util::elaborate_predicates_with_span
• traits::util::traits::util::elaborate_trait_ref
• traits::util::traits::util::elaborate_trait_refs
• traits::util::traits::util::supertraits
• traits::util::traits::util::transitive_bounds
• traits::util::traits::util::transitive_bounds_that_define_assoc_type
• traits::util::transitive_bounds
• traits::util::transitive_bounds_that_define_assoc_type
• traits::util::upcast_choices
• traits::vtable::count_own_vtable_entries
• traits::vtable::dump_vtable_entries
• traits::vtable::own_existential_vtable_entries
• traits::vtable::prepare_vtable_segments
• 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::extend_cause_with_original_assoc_item_obligation
• traits::wf::object_region_bounds
• traits::wf::obligations
• traits::wf::predicate_obligations
• traits::wf::required_region_bounds
• traits::wf::trait_obligations

Type Definitions

• infer::FixupResult
• infer::InferResult
• infer::UnitResult
• infer::canonical::CanonicalVarInfos
• infer::canonical::Canonicalized
• infer::canonical::CanonicalizedQueryResponse
• infer::canonical::QueryOutlivesConstraint
• infer::opaque_types::OpaqueTypeMap
• infer::outlives::env::RegionBoundPairs
• infer::region_constraints::VarInfos
• traits::CanonicalChalkEnvironmentAndGoal
• traits::EvaluationCache
• traits::NormalizedTy
• traits::PredicateObligation
• traits::PredicateObligations
• traits::Selection
• traits::SelectionCache
• traits::SelectionResult
• traits::Supertraits
• 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::query::Fallible
• traits::select::EvaluationCache
• traits::select::SelectionCache
• traits::util::Supertraits
• traits::util::traits::CanonicalChalkEnvironmentAndGoal
• traits::util::traits::EvaluationCache
• traits::util::traits::NormalizedTy
• 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::query::Fallible
• traits::util::traits::select::EvaluationCache
• traits::util::traits::select::SelectionCache
• traits::util::traits::util::Supertraits

Constants

• errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_AutoDerefReachedRecursionLimit
• 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_InvalidOnClauseInOnUnimplemented
• errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_NoValueInOnUnimplemented
• errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_UnableToConstructConstantValue