https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118932
--- Comment #5 from Thomas Koenig <tkoenig at gcc dot gnu.org> --- The discussion on the J3 mailing list seems to indicate that this is actually invalid, but nobody else catches it (and the restriction is also silly). Maybe we should just downgrade the error to a warning.
