clang-tests/gcc-4_2-testsuite/src/g++.dg/template/nontype16.C

//PR c++/27962

template<int> struct A
{
    template<typename> void foo();
};

template<> template<struct T> void A<0>::foo() {} // { dg-error "not a valid type" }