1 // PR c++/44175 2 // { dg-do compile { target c++11 } } 3 4 template <bool, class T> struct enable_if { }; 5 template <class T> struct enable_if <true, T> { typedef T type; }; 6 7 template <class F, int N> 8 void ft (F f, typename enable_if<N!=0, int>::type) {} 9 10 template< class F, int N > 11 decltype(ft<F, N-1> (F(), 0)) // { dg-error "depth" } 12 ft (F f, typename enable_if<N==0, int>::type) {} 13 14 int main() { 15 ft<struct a*, 2> (0, 0); // { dg-message "from here" } 16 } 17 18 // { dg-prune-output "compilation terminated" } 19