Skip to content

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

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

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

do not prefer trivially true candidates

c534566
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Run zizmor
succeeded Oct 2, 2026 in 21s