See <https://wg21.link/P2662R3>.
Note, I wonder if the paper didn't go too far with the noptr-abstract-pack-declarator [ constant-expression[opt] ] attribute-specifier-seq[opt] production removal. It removes the unwanted T...[4] case which ought to be parsed as pack indexing, sure, but doesn't it also unnecessarily make <template ...T> void foo (T...(int)[10]) { } invalid as well?
Ignore me, functions can't return arrays.
FYI there is an open issue for the itanium mangling https://github.com/itanium-cxx-abi/cxx-abi/issues/175