Code

Minor tweaks in the new solver#107344

Code

Merged

bors merged 3 commits intorust-lang:masterrust-lang/rust:masterfrom

compiler-errors:new-solver-tweakscompiler-errors/rust:new-solver-tweaksCopy head branch name to clipboard

Jan 28, 2023

Commits

Commits on Jan 27, 2023

• No need to probe when computing goals

  compiler-errors

  committed
  ff2413d

  Copy full SHA for ff2413d

• Add some comments

  compiler-errors

  committed
  0654374

  Copy full SHA for 0654374

• Micro-optimization in consider_assumption

  compiler-errors

  committed
  8a0b215

  Copy full SHA for 8a0b215