This repository was archived by the owner on May 29, 2025. It is now read-only.
This repository was archived by the owner on May 29, 2025. It is now read-only.
Obligation forest test #2
Closed
Description
We should add rust-lang/rust#31157 as a test case.
Metadata
Metadata
Assignees
Labels
No labels