Skip to content

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

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

[Experiment] Check that corresponding trait goal holds when projection is rigid#139763
compiler-errors wants to merge 1 commit into
rust-lang:masterfrom
compiler-errors:rigid-proj-in-old-solver

Check that corresponding trait goal holds when projection is rigid

cd4572a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs