https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119916
--- Comment #15 from Iain Sandoe <iains at gcc dot gnu.org> --- 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) 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?