1 // RUN: %clang_cc1 -fsyntax-only -std=c++11 -verify %s
2 
3 template<typename T=int> struct S {};
4 template<typename> void f();
5 
6 template<typename T, typename... V> struct S<T(V...)> {};
7 
8 template<typename ...T> struct V {};
9 template<typename ...T> struct V<void(T)...> {};
10 
foo(void)11 void foo(void) {
12   // In C++11 mode, all of these are expected to parse correctly, and the CUDA
13   // language should not interfere with that.
14 
15   // expected-no-diagnostics
16 
17   S<S<S<int>>> s3;
18   S<S<S<>>> s30;
19 
20   S<S<S<S<int>>>> s4;
21   S<S<S<S<>>>> s40;
22 
23   S<S<S<S<S<int>>>>> s5;
24   S<S<S<S<S<>>>>> s50;
25 
26   (void)(&f<S<S<int>>>==0);
27   (void)(&f<S<S<>>>==0);
28 
29   S<S<S<void()>>> s6;
30 }
31 
32 template<typename ...T>
bar(T...args)33 void bar(T... args) {
34   S<S<V<void(T)...>>> s7;
35 }
36