Modules§
- inspect
- Data structure used to inspect trait solver behavior.
Structs§
- External
Constraints Data - Additional constraints returned on success.
- Goal
- A goal is a statement, i.e.
predicate, we want to prove given some assumptions, i.e.param_env. - Nested
Normalization Goals - NoSolution
- Predefined
Opaques Data - Opaques that are defined in the inference context before a query is called.
- Query
Input - Response
Enums§
- AdtDestructor
Kind - Indicates that a
impl Drop for Adtisconstor not. - Builtin
Impl Source - Candidate
Source - Possible ways the given goal can be proven.
- Certainty
- Goal
Source - Why a specific goal has to be proven.
- Maybe
Cause - Why we failed to evaluate a goal.
- Param
EnvSource - Sized
Trait Kind - Which sizedness trait -
Sized,MetaSized?PointeeSizedis omitted as it is removed during lowering.
Type Aliases§
- Canonical
Input - Canonical
Response - Query
Result - The result of evaluating a canonical query.