Skip to content

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_obligation
Jan 28, 2023
Merged

Use new solver in `evaluate_obligation` query (when new solver is enabled)#107103
bors merged 1 commit intorust-lang:masterfrom
compiler-errors:new-solver-evaluate_obligation

Commits

Commits on Jan 27, 2023