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

            Bug ID: 63201
           Summary: Full specialization of a member variable template of a
                    class template does not work
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Keywords: rejects-valid
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ville.voutilainen at gmail dot com
                CC: jason at redhat dot com

Simple case:

template <class T>
struct Y
{
  template <class U> static U x;
};

template <>
template <>
int Y<float>::x<int> = 42; // { dg-bogus "non-member-template declaration" }

More tests attached. Clang accepts such a specialization.

Reply via email to