// DR 941
// { dg-require-effective-target c++11 }
template <class T> T f(T) = delete;
template<> int f(int) { return 42; }
int main()
{
  f(42);
}
// DR 941
// { dg-require-effective-target c++11 }
template <class T> T f(T) = delete;
template<> int f(int) { return 42; }
int main()
{
  f(42);
}