1 // RUN: %clang_cc1 -std=c++11 -fsyntax-only -verify %s
2 // expected-no-diagnostics
3 
4 namespace ParameterPacksWithFunctions {
5   template<typename ...> struct count;
6 
7   template<typename Head, typename ...Tail>
8   struct count<Head, Tail...> {
9     static const unsigned value = 1 + count<Tail...>::value;
10   };
11 
12   template<>
13   struct count<> {
14     static const unsigned value = 0;
15   };
16 
17   template<unsigned> struct unsigned_c { };
18 
19   template<typename ... Types>
20   unsigned_c<count<Types...>::value> f();
21 
22   void test_f() {
23     unsigned_c<0> uc0a = f(); // okay, deduced to an empty pack
24     unsigned_c<0> uc0b = f<>();
25     unsigned_c<1> uc1 = f<int>();
26     unsigned_c<2> uc2 = f<float, double>();
27   }
28 }
29 
30 namespace rdar12176336 {
31   typedef void (*vararg_func)(...);
32 
33   struct method {
34     vararg_func implementation;
35 
36     method(vararg_func implementation) : implementation(implementation) {}
37 
38     template<typename TReturnType, typename... TArguments, typename TFunctionType = TReturnType (*)(TArguments...)>
39     auto getImplementation() const -> TFunctionType
40     {
41       return reinterpret_cast<TFunctionType>(implementation);
42     }
43   };
44 
45   void f() {
46     method m(nullptr);
47     auto imp = m.getImplementation<int, int, int>();
48   }
49 }
50