> Can you go into more details about the type erasure in question?
std::generator uses type erasure for Alloc by default (typename Alloc =
void), but generator even do not depends on allocator. It is useless
template argument and runtime / compilation overhead
> Are you suggesting that `generator<T>` not actually have a `T` stored
within it?
Value must be stored on coroutine frame as local variable or in awaiter
which is just a holder for value while generator suspended(if rvalue was
throwed).
Dont know is co_yield {args...} supported, but it is possible to support
with yield_value hack(see implementation in first message)