Skip to content

-Zhigher-ranked-assumptions: Consider WF of coroutine witness when proving outlives assumptions - #143545

Merged
bors merged 6 commits into
rust-lang:masterfrom
compiler-errors:coroutine-obl
Jul 18, 2025
Merged

-Zhigher-ranked-assumptions: Consider WF of coroutine witness when proving outlives assumptions#143545
bors merged 6 commits into
rust-lang:masterfrom
compiler-errors:coroutine-obl

Add alias for ArgOutlivesPredicate

3634f46
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs