//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" }