Interestingly enough, the other branch of the condition is where CORO_ACTIVATE_YIELDM is handled.