https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58753
--- Comment #13 from Ville Voutilainen <ville.voutilainen at gmail dot com> --- (In reply to Paolo Carlini from comment #12) Ah, indeed, comment 2 has an explicit diagnostic as well. The patch looks reasonable (to my taste the condition doesn't, but that's another matter), so I recommend sending it to the mighty maintainer for review.
