[Bug c++/39906] Accepted invalid member template specialization in derived class

[thiago at kde dot org via Gcc-bugs]

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

Thiago Macieira <thiago at kde dot org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |thiago at kde dot org

--- Comment #4 from Thiago Macieira <thiago at kde dot org> ---
(In reply to Martin Sebor from comment #2)
> Reconfirming that GCC 10 still accepts it.  The code does look invalid but
> no compiler I tried rejects the code (Clang, ICC, or Visual C++).

EDG front-ends do, see https://conformance.godbolt.org/z/39x5qn3Gf

Clang rejects the similar issue in bug 117052:
struct Base { template <typename T> static void f(); };
struct Derived : public Base {};
template <> void Derived::f<int>() {}