Skip to content

check coroutines with TypingMode::Borrowck to avoid cyclic reasoning#141125

Merged
bors merged 1 commit intorust-lang:masterfrom
lcnr:coroutine_obligations_use_borrowck
May 17, 2025
Merged

check coroutines with `TypingMode::Borrowck` to avoid cyclic reasoning#141125
bors merged 1 commit intorust-lang:masterfrom
lcnr:coroutine_obligations_use_borrowck

Commits

Commits on May 17, 2025