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
- Query
Input - Response
Enums§
- AdtDestructor
Kind - Indicates that a
impl Drop for Adtisconstor not. - Alias
Bound Kind - Builtin
Impl Source - Candidate
Preference Mode - Which trait candidates should be preferred over other candidates? By default, prefer where bounds over alias bounds. For marker traits, prefer alias bounds over where bounds.
- 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.
- Opaque
Types Jank - Supporting not-yet-defined opaque types in HIR typeck is somewhat challenging. Ideally we’d normalize them to a new inference variable and just defer type inference which relies on the opaque until we’ve constrained the hidden type.
- 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.