From: Richard Smith <richard-llvm@metafoo.co.uk>
Date: Wed, 12 Nov 2014 23:50:13 +0000 (+0000)
Subject: Another test for PR19372, showing why we need to keep checking arguments after a... 
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=3cdb9188c28bc7ad863c04a8b7beb37de63faecd;p=clang

Another test for PR19372, showing why we need to keep checking arguments after a pack expansion.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@221838 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/test/SemaTemplate/deduction.cpp b/test/SemaTemplate/deduction.cpp
index d33164b45c..c59f10dbb1 100644
--- a/test/SemaTemplate/deduction.cpp
+++ b/test/SemaTemplate/deduction.cpp
@@ -194,8 +194,9 @@ namespace PR19372 {
 
   namespace BetterReduction {
     template<typename ...> struct S;
-    template<typename ...A> using X = S<A...>;
+    template<typename ...A> using X = S<A...>; // expected-note {{parameter}}
     template<typename ...A> using Y = X<A..., A...>;
+    template<typename ...A> using Z = X<A..., 1, 2, 3>; // expected-error {{must be a type}}
 
     using T = Y<int>;
     using T = S<int, int>;