[DO NOT MERGE] `-Znext-solver` test `Certainty::Yes` when only ambiguous goals are "trivial"#145934

lcnr wants to merge 1 commit intorust-lang:masterrust-lang/rust:masterfrom

lcnr:test-return-sized-obligationslcnr/rust:test-return-sized-obligationsCopy head branch name to clipboard