do not prefer trivially true candidates with -Znext-solver - #163928

do not prefer trivially true candidates with -Znext-solver #163928

lcnr wants to merge 1 commit into

rust-lang:mainrust-lang/rust:mainfrom

lcnr:only-merge-eq-modulo-regionslcnr/rust:only-merge-eq-modulo-regionsCopy head branch name to clipboard