[Bug c++/89898] New: invalid function template definition with non-type class argument accepted

[msebor at gcc dot gnu.org]

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

            Bug ID: 89898
           Summary: invalid function template definition with non-type
                    class argument accepted
           Product: gcc
           Version: 9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: msebor at gcc dot gnu.org
  Target Milestone: ---

In the following, the invalid function template definition is accepted in c++2a
mode:

$ cat z.C && gcc -c -Wall -std=c++2a z.C
struct A { };
template <A> struct X { };
template<X<A{}> > void f () { }   // invalid