Skip to content

Next-solver do not prefer trivially true candidates - #163589

Closed
lcnr wants to merge 1 commit into
rust-lang:mainfrom
lcnr:no-trivially-true-candidate
Closed

Next-solver do not prefer trivially true candidates#163589
lcnr wants to merge 1 commit into
rust-lang:mainfrom
lcnr:no-trivially-true-candidate

Commits

  1. Commits on Oct 7, 2026