[Bug c++/103667] [12 Regression] Accepting invalid explicitly specialized template with incorrectly ordered template parameter lists

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |needs-bisection
             Status|UNCONFIRMED                 |NEW
   Target Milestone|---                         |12.0
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2021-12-12

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
This has nothing to do with variable template argument or auto template
arugment even:
  template<typename Args>
  struct A {
   template<int N>
   struct B {};
  };

template<>
  template<typename Args>
  struct A<Args>::B<sizeof(Args)> {};

  int main() {
   A<int>::B<sizeof(int)> b{};
  }



---- CUT ----

Confirmed.