Module fulfill
rustc_trait_selection
1.78.0-dev
Module fulfill
Structs
Functions
In rustc_trait_selection::solve
Modules
alias_relate
assembly
eval_ctxt
fulfill
inspect
normalize
normalizes_to
project_goals
search_graph
trait_goals
Structs
EvalCtxt
FulfillmentCtxt
Enums
GenerateProofTree
GoalEvaluationKind
SolverMode
Constants
FIXPOINT_STEP_LIMIT
Traits
CanonicalResponseExt
InferCtxtEvalExt
InferCtxtSelectExt
Functions
deeply_normalize
deeply_normalize_with_skipped_universes
response_no_constraints_raw
?
Module
rustc_trait_selection
::
solve
::
fulfill
source
·
[
−
]
Structs
§
FulfillmentCtxt
A trait engine using the new trait solver.
ObligationStorage
🔒
Functions
§
fulfillment_error_for_no_solution
🔒
fulfillment_error_for_stalled
🔒