[PATCH] D30776: [coroutines] Fix diagnostics depending on the first coroutine statement.

[Gor Nishanov via Phabricator via cfe-commits]

GorNishanov requested changes to this revision.
GorNishanov added a comment.
This revision now requires changes to proceed.

One thought I had with respect to removing array of statements: We need to check during Sema that await_ready returns a type contextually convertible to bool and await_suspend returns either void or bool. If we have this array, I can quickly run through it and verify that all await expressions have expected types during CheckCoroutine body. With the yield/await expression vector removed, I am not sure where would be an appropriate spot to check for that.


https://reviews.llvm.org/D30776