Use new solver in evaluate_obligation query (when new solver is enabled)#107103
Merged
bors merged 1 commit intorust-lang:masterfrom compiler-errors:new-solver-evaluate_obligationJan 28, 2023
+37-6
