Module rustc_infer::traits::solve

Modules

• inspect
  Data structure used to inspect trait solver behavior.

Structs

• CacheData
• EvaluationCache
  The trait solver cache used by -Znext-solver.
• ExternalConstraints
• ExternalConstraintsData
  Additional constraints returned on success.
• Goal
  A goal is a statement, i.e. predicate, we want to prove given some assumptions, i.e. param_env.
• PredefinedOpaques
• PredefinedOpaquesData
  Additional constraints returned on success.
• QueryInput
• Response

Enums

• CandidateSource
  Possible ways the given goal can be proven.
• Certainty
• GoalSource
  Why a specific goal has to be proven.
• IsNormalizesToHack
• MaybeCause
  Why we failed to evaluate a goal.

Type Aliases

• CanonicalInput
• CanonicalResponse
• QueryResult
  The result of evaluating a canonical query.