Modules§
- inspect
- Data structure used to inspect trait solver behavior.
Structs§
- External
Constraints - External
Constraints Data - Additional constraints returned on success.
- Nested
Normalization Goals - NoSolution
- Predefined
Opaques - Predefined
Opaques Data - Opaques that are defined in the inference context before a query is called.
- Response
Enums§
- AdtDestructor
Kind - Indicates that a
impl Drop for Adt
isconst
or not. - Builtin
Impl Source - Certainty
- Goal
Source - Why a specific goal has to be proven.
- Maybe
Cause - Why we failed to evaluate a goal.