Skip to content

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

Merged
bors merged 6 commits intorust-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 intorust-lang:masterfrom
compiler-errors:coroutine-obl

Commits