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

[redi at gcc dot gnu.org via Gcc-bugs]

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

Jonathan Wakely <redi at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|needs-bisection             |
                 CC|                            |ppalka at gcc dot gnu.org

--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Started to be accepted with r12-4772
"c++: CTAD within template argument [PR102933]"

Reduced:


template<typename T, int N>
struct array
{
  T data[N];
};

  template<typename _Tp, typename... _Up>
    array(_Tp, _Up...)
      -> array<_Tp, 1 + sizeof...(_Up)>;

template<auto>
struct S { };

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

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