Module rustc_middle::traits::solve
source · Modules
- cache 🔒
- Data structure used to inspect trait solver behavior.
Structs
- The trait solver cache used by
-Ztrait-solver=next
. - Additional constraints returned on success.
- A goal is a statement, i.e.
predicate
, we want to prove given some assumptions, i.e.param_env
. - Additional constraints returned on success.
Enums
- Possible ways the given goal can be proven.
- Why we failed to evaluate a goal.
Type Aliases
- The result of evaluating a canonical query.