blob: b78b5a919c174e8df264ab59e1b55c2935ca737d (
plain)
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);
}
|