List of all items
Structs
- canonicalizer::Canonicalizer
- coherence::OrphanChecker
- coherence::UncoveredTyParams
- resolve::EagerResolver
- 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::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
- solve::AdtDestructorKind
- solve::BuiltinImplSource
- solve::CandidateSource
- solve::Certainty
- solve::GenerateProofTree
- solve::GoalEvaluationKind
- solve::GoalSource
- solve::HasChanged
- solve::MaybeCause
- solve::eval_ctxt::GenerateProofTree
- solve::inspect::CanonicalGoalEvaluationKind
- solve::inspect::ProbeKind
- solve::inspect::ProbeStep
- solve::inspect::build::DebugSolver
- solve::inspect::build::WipProbeStep
- solve::normalizes_to::opaque_types::NotUniqueParam
- solve::trait_goals::TraitGoalProvenVia
Traits
- delegate::SolverDelegate
- 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
- solve::assembly::structural_traits::const_conditions_for_destruct
- solve::assembly::structural_traits::coroutine_closure_to_ambiguous_coroutine
- solve::assembly::structural_traits::coroutine_closure_to_certain_coroutine
- solve::assembly::structural_traits::extract_fn_def_from_const_callable
- 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::fn_item_to_async_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
- solve::CanonicalInput
- solve::CanonicalResponse
- solve::QueryResult
- solve::inspect::CanonicalState
- solve::search_graph::SearchGraph