1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
// Origin: PR c++/43953 template<typename T, typename U, typename T::type V> class bad; // partial specialization // for T = U template<typename T, typename T::type V> class bad<T, T, V> { public: static void foo() {} }; struct dummy { typedef int type; }; int main() { bad<dummy, dummy, 0>::foo(); }