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§
- Indicates that a
impl Drop for Adtisconstor not. - Why a specific goal has to be proven.
- Why we failed to evaluate a goal.