Skip to content

Don't loop if there are no pending obligations#144475

Open
compiler-errors wants to merge 1 commit intorust-lang:masterfrom
compiler-errors:pending-faster
Open

Don't loop if there are no pending obligations#144475
compiler-errors wants to merge 1 commit intorust-lang:masterfrom
compiler-errors:pending-faster

Commits

Commits on Jul 26, 2025