Module rustc_middle::traits::solve
source · Modules§
- cache 🔒
- Data structure used to inspect trait solver behavior.
Structs§
- The trait solver cache used by
-Znext-solver
. - Additional constraints returned on success.
- Additional constraints returned on success.
Enums§
- Why a specific goal has to be proven.
- Why we failed to evaluate a goal.