Use new solver in evaluate_obligation query (when new solver is enabled)#107103
Merged
bors merged 1 commit intorust-lang:masterfrom Jan 28, 2023
evaluate_obligation query (when new solver is enabled)#107103