See <https://wg21.link/P2287R6>.
.
Created attachment 65076 [details] gcc17-pr125989-wip.patch Current untested WIP. There is one case in desig8.C I still need to look at, more testcase coverage (the current one is basically all the examples in the paper and nothing else) and decide what to do about the GNU [0] = designators vs. the new designator-initializer-list vs. designator-only-initializer-list, i.e. whether we allow { 1, [2] = 2 } or not and if we don't allow it, where do we reject it for C++29.
Created attachment 65077 [details] gcc17-pr125989-wip.patch Updated patch, still need to extend testsuite, but the rest mentioned above should be changed.