1 // PR c++/79361
2 // { dg-do compile { target c++11 } }
3 
4 template<typename T> void foo(T);
5 
6 template<> void foo<int>(int) {}   // { dg-message "declared" }
7 template<> void foo<int>(int) = delete;  // { dg-error "redefinition" }
8