Modules§
- Data structure used to inspect trait solver behavior.
Structs§
- Additional constraints returned on success.
- Opaques that are defined in the inference context before a query is called.
Enums§
- 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.