//PR c++/27668 template<typename class T, T = T()> // { dg-error "nested-name-specifier|two or more|valid type" } struct A {}; // { dg-error "definition|template" } template<int> void foo(A<int>); // { dg-error "mismatch|constant|template argument" }