[Experiment] Check that corresponding trait goal holds when projection is rigid#139763

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

compiler-errors:rigid-proj-in-old-solvercompiler-errors/rust:rigid-proj-in-old-solverCopy head branch name to clipboard