Modules§
- Data structure used to inspect trait solver behavior.
Structs§
- Additional constraints returned on success.
- A goal is a statement, i.e.
predicate
, we want to prove given some assumptions, i.e.param_env
. - Opaques that are defined in the inference context before a query is called.
Enums§
- Possible ways the given goal can be proven.
- Why a specific goal has to be proven.
- Why we failed to evaluate a goal.
- Depending on the stage of compilation, we want projection to be more or less conservative.
Type Aliases§
- The result of evaluating a canonical query.