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

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 d33164b45c4aa9cd63363c8b5121da03e2677085..c59f10dbb12e1c69295d5287a098211a6abd5e8c 100644 (file)
--- 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>;