gcc/testsuite/g++.dg/cpp0x/trailing10.C


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

// PR c++/65133
// { dg-do compile { target c++11 } }

template<bool, typename Tp = void>
struct enable_if { };

template<typename Tp>
struct enable_if<true, Tp> { typedef Tp type; };

template <int I>
struct count
{
  using type = typename count<I-1>::type;
};

template <>
struct count<0>
{
  using type = void;
};

template <int I>
auto foo(typename enable_if<(I>=0)>::type *
	 = nullptr) -> typename count<I>::type { }

template <int I>
void foo(typename enable_if<(I<0)>::type * = nullptr) { }

int main()
{
  foo<2>();
  foo<-1>();
}