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
- 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.
- 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.