Module rustc_middle::traits::solve

Structs

• 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

• Certainty
• MaybeCause
  Why we failed to evaluate a goal.

Type Definitions

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