Module rustc_trait_selection::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.
• NestedNormalizationGoals
• 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.
• MaybeCause
  Why we failed to evaluate a goal.

Type Aliases

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