main/gcc/testsuite/g++.dg/cpp0x/decltype28.C

   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 }