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.