Expand description
Things related to opaques in the next-trait-solver.
Structs§
- External
Constraints - External
Constraints 🔒Interned - Predefined
Opaques - Predefined
Opaques Storage - Solver
DefIds - Solver
DefIds Storage - Stored
Predefined Opaques - Stored
Solver DefIds