1 files changed, 39 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/cpp0x/variadic-ex13.C b/gcc/testsuite/g++.dg/cpp0x/variadic-ex13.C
new file mode 100644
index 000000000..b742cb1d3
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/variadic-ex13.C
@@ -0,0 +1,39 @@
+// { dg-options "-std=gnu++0x" }
+
+template<typename T, typename U> struct is_same {
+  static const bool value = false;
+};
+
+template<typename T> struct is_same<T, T> {
+  static const bool value = true;
+};
+
+template<typename...> struct Tuple {};
+template<typename T1, typename T2> struct Pair {};
+
+template<typename... Args1>
+  struct zip {
+    template<typename... Args2>
+    struct with {
+      typedef Tuple<Pair<Args1, Args2>...> type; // { dg-error "mismatched argument pack" }
+    };
+  };
+
+static_assert 
+  (is_same<zip<short, int>::with<unsigned short, unsigned>::type,
+           Tuple<Pair<short, unsigned short>, Pair<int, unsigned> > >::value,
+   "zip");
+
+typedef zip<short>::with<unsigned short, unsigned>::type T2; // error: different number of arguments specified 
+                                                             // for Args1 and Args2
+
+template<typename... Args> void f(Args...);
+
+template<typename... Args> void g(Args... args) 
+{
+   f(const_cast<const Args*>(&args)...); // okay: ``Args'' and ``args'' are expanded
+   f(5 ...); // { dg-error "contains no argument packs" }
+   f(args); // { dg-error "parameter packs not expanded" }
+   // { dg-message "args" "note" { target *-*-* } 36 }
+   f(h(args...) + args...); // okay: first ``args'' expanded within h, second ``args'' expanded within f.
+}