From 3cdb9188c28bc7ad863c04a8b7beb37de63faecd Mon Sep 17 00:00:00 2001
From: Richard Smith <richard-llvm@metafoo.co.uk>
Date: Wed, 12 Nov 2014 23:50:13 +0000
Subject: [PATCH] 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
---
test/SemaTemplate/deduction.cpp | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/test/SemaTemplate/deduction.cpp b/test/SemaTemplate/deduction.cpp
index d33164b45c4..c59f10dbb12 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>;
--
GitLab