Module rustc_type_ir::solve
source · Modules§
- Data structure used to inspect trait solver behavior.
Structs§
- A goal is a statement, i.e.
predicate
, we want to prove given some assumptions, i.e.param_env
.
Enums§
- Possible ways the given goal can be proven.
- Why a specific goal has to be proven.
- Why we failed to evaluate a goal.
Type Aliases§
- The result of evaluating a canonical query.