Coroutine annotation checker