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 Adtisconstor not. - Builtin
Impl Source - 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.