[Bug c++/67397] GCC incorrectly accepts non-type template parameter pack expansion of a parameter pack declared in the same template-parameter-list

luigighiron at gmail dot com via Gcc-bugs <[email protected]>
Newsgroups gmane.comp.gcc.bugs
Message-ID <[email protected]/bugzilla/>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67397

Halalaluyafail3 <luigighiron at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |luigighiron at gmail dot com

--- Comment #3 from Halalaluyafail3 <luigighiron at gmail dot com> ---
This looks very similar to CWG778. See also
https://github.com/llvm/llvm-project/issues/214757, GCC also incorrectly
accepts:

template<typename...T,T...>void foo(){}
int main(){
    foo();
}

Though I think this is also ill-formed because there is no way to deduce the
second pack, GCC does not appear to enforce that either.
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.