List of all items
Structs
- canonicalizer::Canonicalizer
- coherence::OrphanChecker
- coherence::UncoveredTyParams
- resolve::EagerResolver
- solve::CacheData
- solve::EvalCtxt
- solve::ExternalConstraintsData
- solve::Goal
- solve::NestedNormalizationGoals
- solve::NoSolution
- solve::PredefinedOpaquesData
- solve::QueryInput
- solve::Response
- solve::assembly::Candidate
- solve::assembly::structural_traits::AsyncCallableRelevantTypes
- solve::assembly::structural_traits::ReplaceProjectionWith
- solve::eval_ctxt::EvalCtxt
- solve::eval_ctxt::NestedGoals
- solve::eval_ctxt::ReplaceAliasWithInfer
- solve::eval_ctxt::probe::ProbeCtxt
- solve::eval_ctxt::probe::TraitProbeCtxt
- solve::inspect::CanonicalGoalEvaluation
- solve::inspect::CanonicalGoalEvaluationStep
- solve::inspect::GoalEvaluation
- solve::inspect::Probe
- solve::inspect::State
- solve::inspect::build::ProofTreeBuilder
- solve::inspect::build::WipCanonicalGoalEvaluation
- solve::inspect::build::WipCanonicalGoalEvaluationStep
- solve::inspect::build::WipGoalEvaluation
- solve::inspect::build::WipProbe
- solve::search_graph::SearchGraphDelegate
Enums
- canonicalizer::CanonicalizeMode
- coherence::Conflict
- coherence::InCrate
- coherence::IsFirstInputType
- coherence::OrphanCheckEarlyExit
- coherence::OrphanCheckErr
- coherence::OrphanCheckMode
- relate::StructurallyRelateAliases
- relate::VarianceDiagInfo
- relate::combine::VarianceDiagInfo
- solve::BuiltinImplSource
- solve::CandidateSource
- solve::Certainty
- solve::GenerateProofTree
- solve::GoalEvaluationKind
- solve::GoalSource
- solve::MaybeCause
- solve::Reveal
- solve::SolverMode
- solve::eval_ctxt::GenerateProofTree
- solve::inspect::CanonicalGoalEvaluationKind
- solve::inspect::ProbeKind
- solve::inspect::ProbeStep
- solve::inspect::build::DebugSolver
- solve::inspect::build::WipCanonicalGoalEvaluationKind
- solve::inspect::build::WipProbeStep
- solve::normalizes_to::opaque_types::NotUniqueParam
Traits
- delegate::SolverDelegate
- relate::Relate
- relate::TypeRelation
- relate::combine::PredicateEmittingRelation
- relate::combine::Relate
- relate::combine::TypeRelation
- solve::SolverDelegateEvalExt
- solve::assembly::GoalKind
- solve::eval_ctxt::SolverDelegateEvalExt
- solve::eval_ctxt::canonical::ResponseT
Functions
- coherence::orphan_check_trait_ref
- coherence::trait_ref_is_knowable
- coherence::trait_ref_is_local_or_fundamental
- relate::combine::relate_args_invariantly
- relate::combine::relate_args_with_variances
- relate::combine::structurally_relate_consts
- relate::combine::structurally_relate_tys
- relate::relate_args_invariantly
- relate::relate_args_with_variances
- relate::structurally_relate_consts
- relate::structurally_relate_tys
- 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::eval_ctxt::canonical::instantiate_canonical_state
- solve::eval_ctxt::canonical::make_canonical_state
- solve::has_no_inference_or_external_constraints
- solve::inspect::instantiate_canonical_state
- solve::normalizes_to::opaque_types::uses_unique_placeholders_ignoring_regions
- solve::response_no_constraints_raw
- solve::search_graph::response_no_constraints
Type Aliases
- relate::RelateResult
- relate::combine::RelateResult
- solve::CanonicalInput
- solve::CanonicalResponse
- solve::QueryResult
- solve::inspect::CanonicalState
- solve::search_graph::SearchGraph