Module rustc_middle::traits::solve

Re-exports

• pub use crate::ty::Goal;

Modules

• cache 🔒
• 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
• QueryResult
  The result of evaluating a canonical query.