Module solve

Modules§

EvalCtxt
ExternalConstraintsData: Additional constraints returned on success.
FulfillmentCtxt: A trait engine using the new trait solver.
Goal: A goal is a statement, i.e. predicate, we want to prove given some assumptions, i.e. param_env.
NestedNormalizationGoals
NoSolution
PredefinedOpaquesData: Opaques that are defined in the inference context before a query is called.
QueryInput
Response

AdtDestructorKind: Indicates that a impl Drop for Adt is const or not.
BuiltinImplSource
CandidateSource: Possible ways the given goal can be proven.
Certainty
GenerateProofTree
GoalSource: Why a specific goal has to be proven.
HasChanged: Whether evaluating this goal ended up changing the inference state.
MaybeCause: Why we failed to evaluate a goal.
NextSolverError
ParamEnvSource

deeply_normalize: Deeply normalize all aliases in value. This does not handle inference and expects its input to be already fully resolved.
deeply_normalize_with_skipped_universes: Deeply normalize all aliases in value. This does not handle inference and expects its input to be already fully resolved.
deeply_normalize_with_skipped_universes_and_ambiguous_coroutine_goals: Deeply normalize all aliases in value. This does not handle inference and expects its input to be already fully resolved.