Module search_
graph
rustc_
next_
trait_
solver
1.84.0-dev
Module search_
graph
Module Items
Structs
Functions
Type Aliases
In rustc_
next_
trait_
solver::
solve
Modules
alias_relate
assembly
effect_goals
eval_ctxt
inspect
normalizes_to
project_goals
search_graph
trait_goals
Structs
EvalCtxt
ExternalConstraintsData
Goal
NestedNormalizationGoals
NoSolution
PredefinedOpaquesData
QueryInput
Response
Enums
BuiltinImplSource
CandidateSource
Certainty
GenerateProofTree
GoalEvaluationKind
GoalSource
HasChanged
MaybeCause
Reveal
Constants
FIXPOINT_STEP_LIMIT
Traits
SolverDelegateEvalExt
Functions
has_no_inference_or_external_constraints
response_no_constraints_raw
Type Aliases
CanonicalInput
CanonicalResponse
QueryResult
rustc_next_trait_solver
::
solve
Module
search_graph
Copy item path
Settings
Help
Summary
Source
Structs
§
Search
Graph
Delegate
🔒
This type is never constructed. We only use it to implement
search_graph::Delegate
for all types which impl
SolverDelegate
and doing it directly fails in coherence.
Functions
§
response_
no_
constraints
🔒
Type Aliases
§
Search
Graph
🔒