Proposed resolution (approved by CWG 2026-09-01):

1. Change in 9.5.1 [dcl.init.general] bullet 15.4 as follows:

   • ...
   • If the initializer is () of the form ( expression-list_opt ) and the expression-list is absent (after any pack expansion (13.7.4 [temp.variadic])), the object is value-initialized. [ Note: ... ]
   • ...

2. Change in 9.5.2 [dcl.init.aggr] paragraph 11 as follows:

   ... An array of unknown bound shall not be initialized with an empty a braced-init-list {} that has no elements. [ Footnote: ... ] ...

(From submission #998.)

Consider:

  void foo(auto...x) {
    int y[]{x...};
  }
  void bar(auto...z) {
    int w(z...);
  }
  int main(){
    foo();
    bar();
  }

The rules around empty initializers are syntax-based and do not appear to address situations involving empty packs.