https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119916

--- Comment #17 from Iain Sandoe <iains at gcc dot gnu.org> ---
(In reply to Jason Merrill from comment #16)
> (In reply to Iain Sandoe from comment #15)
> > hmm .. EWG does seem to iterate at times ... maybe I can reach out to Lewis
> > for the example (and to ask him how Ville's request is intended to be
> > handled).  This got discussed in some depth during the work on coroutines +
> > contracts (and I thought we had agreement, apparently incorrectly)
> 
> My revision of Gor's proposed wording
> (https://wiki.edg.com/pub/Wg21telecons2025/CoreWorkingGroup/2563.html)

you mention the case that g_r_o is void .. I would think it reasonable to call
out that this can only be valid in the case that the coroutine is, itself void?
 That is diagnosable. (i.e. it can be ill-formed to have a void g_r_o in any
other case)

> requires NRVO when eligible (i.e. same type ignoring cv-quals); isn't that
> sufficient for Ville's request? 

yes, I think so

> If a conversion is needed, the connection is broken anyway.

indeed.

> > In the meantime, perhaps it would be enough to revert the "fix" for PR115908
> > (and presumably mark that as INVALID?) - or do you have other thoughts?
> 
> I think that would be a good start, but the reversion seems to be
> significantly complicated by other changes to that function.

yeah, it is not going to be a git revert - but more of a logical reversion.  Do
you want me to try that or have you something already in mind?

(it would be queued after doing the other 14.3 back ports)

Reply via email to