gcc/testsuite/g++.dg/template/spec17.C

// PR c++/16224

namespace io { 
  template <typename> int foo();
} 
 
using namespace io; 
 
template<> int foo<int>(); // { dg-error "" }
 
int a = foo<int>();