Skip to content

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

Closed
compiler-errors wants to merge 1 commit intorust-lang:masterfrom
compiler-errors:rigid-proj-in-old-solver

Commits