https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100476
--- Comment #6 from Iain Sandoe <iains at gcc dot gnu.org> --- Looking at a current discussion of https://cplusplus.github.io/CWG/issues/2563.html it seems that there is agreement that the returned type from get_return_object() does not need to match the coroutine (ramp) return type - so long at that latter type has a CTOR that accepts the get_return_object() type. Am I mistaken in thinking that void is a valid example of this?