1 // DR 941
2 // { dg-require-effective-target c++11 }
3 
4 template <class T> T f(T) = delete;
f(int)5 template<> int f(int) { return 42; }
6 
main()7 int main()
8 {
9   f(42);
10 }
11