Add a couple random projection tests for new solver#107855

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

compiler-errors:new-solver-random-testscompiler-errors/rust:new-solver-random-testsCopy head branch name to clipboard