Quite a lot of work was done in Clang at least to elide allocations for coroutines where the compiler can see enough information.