gcc/testsuite/g++.dg/template/sfinae-dr657.C


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

// DR 657
// Test that a return or parameter type with abstract class type causes a
// deduction failure.

struct A
{
  A();
  A(int);
  virtual void f() = 0;
};

template<class T> T declval();
template<class T> int declval(...);

template<class T> void arg(T);
template<class T> int arg(...);

int main()
{
  int i = declval<A>();
  i = arg<A>(1);
}