https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88667
--- Comment #1 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- This is a known defect in the syntax in the standard, as discussed on the WG14 reflector on 22 Sep 2017 (see reflector message 14798).