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

[Richard Smith]

Author: rsmith
Date: Wed Nov 12 17:50:13 2014
New Revision: 221838

URL: http://llvm.org/viewvc/llvm-project?rev=221838&view=rev
Log:
Another test for PR19372, showing why we need to keep checking arguments after a pack expansion.

Modified:
    cfe/trunk/test/SemaTemplate/deduction.cpp

Modified: cfe/trunk/test/SemaTemplate/deduction.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/SemaTemplate/deduction.cpp?rev=221838&r1=221837&r2=221838&view=diff
==============================================================================
--- cfe/trunk/test/SemaTemplate/deduction.cpp (original)
+++ cfe/trunk/test/SemaTemplate/deduction.cpp Wed Nov 12 17:50:13 2014
@@ -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>;