1 2 3 4 5 6 7 8 9 10
// 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); }