diff options
| author | Richard Smith <richard-llvm@metafoo.co.uk> | 2014-11-12 23:50:13 +0000 |
|---|---|---|
| committer | Richard Smith <richard-llvm@metafoo.co.uk> | 2014-11-12 23:50:13 +0000 |
| commit | 5357c0813bb98609e324ba26a96f713513c54e56 (patch) | |
| tree | 2ceac2c53411eec3e5e44350b86d4602dfe0a53c | |
| parent | 3a6b354b3e91876526cd1399be10fe828c617284 (diff) | |
| download | bcm5719-llvm-5357c0813bb98609e324ba26a96f713513c54e56.tar.gz bcm5719-llvm-5357c0813bb98609e324ba26a96f713513c54e56.zip | |
Another test for PR19372, showing why we need to keep checking arguments after a pack expansion.
llvm-svn: 221838
| -rw-r--r-- | clang/test/SemaTemplate/deduction.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/clang/test/SemaTemplate/deduction.cpp b/clang/test/SemaTemplate/deduction.cpp index d33164b45c4..c59f10dbb12 100644 --- a/clang/test/SemaTemplate/deduction.cpp +++ b/clang/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>; |
