2 // { dg-options -std=c++0x }
4 template <class T> T&& declval();
7 template<class T, class... Args>
8 decltype(T(std::declval<Args>()...), char()) f(int);
10 template<class, class...>
13 struct A { virtual ~A() = 0; };
16 static_assert(sizeof(f<A, int, int>(0)) != 1, "Error"); // a
17 static_assert(sizeof(f<B, void, int>(0)) != 1, "Error"); // b
18 static_assert(sizeof(f<void, int, int>(0)) != 1, "Error"); // c