[Bug c++/104291] New: gcc accepts template argument involves template parameter(s)

[hewillk at gmail dot com via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104291

            Bug ID: 104291
           Summary: gcc accepts template argument involves template
                    parameter(s)
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: hewillk at gmail dot com
  Target Milestone: ---

This should be rejected.

#include<array>

template<auto>
struct S { };

template<auto... x>
struct S<std::array{x...}> { };

S<std::array{1, 2, 3}> x;

https://godbolt.org/z/ecoGPWq3q