2 // { dg-options -std=c++0x }
4 template <bool, class T> struct enable_if { };
5 template <class T> struct enable_if <true, T> { typedef T type; };
7 template <class F, int N>
8 void ft (F f, typename enable_if<N!=0, int>::type) {}
10 template< class F, int N >
11 decltype(ft<F, N-1> (F(), 0))
12 ft (F f, typename enable_if<N==0, int>::type) {} // { dg-error "depth" }
15 ft<struct a*, 2> (0, 0); // { dg-message "from here" }