| 1 | // RUN: %clang_cc1 -std=c++11 -fsyntax-only -verify %s |
|---|
| 2 | |
|---|
| 3 | template<int ...Values> struct X1; |
|---|
| 4 | |
|---|
| 5 | template<int ...Values> // expected-note {{non-deducible}} |
|---|
| 6 | struct X1<0, Values+1 ...>; // expected-error{{contains a template parameter that cannot be deduced}} |
|---|
| 7 | |
|---|
| 8 | template<typename T, int ...Values> struct X2; // expected-note {{here}} |
|---|
| 9 | template<int ...Values> struct X2<X1<Values...>, Values+1 ...> {}; // ok (DR1315) |
|---|
| 10 | X2<X1<1, 2, 3>, 2, 3, 4> x2; // ok |
|---|
| 11 | X2<X1<1, 2, 3>, 2, 3, 4, 5> x3; // expected-error {{undefined template}} |
|---|
| 12 | |
|---|