| 1 | // RUN: %clang_cc1 -std=c++11 -fsyntax-only -verify %s |
|---|
| 2 | |
|---|
| 3 | template<class ... Types> void f(Types ... args); |
|---|
| 4 | |
|---|
| 5 | void test() { |
|---|
| 6 | f(); |
|---|
| 7 | f(1); |
|---|
| 8 | f(2, 1.0); |
|---|
| 9 | } |
|---|
| 10 | |
|---|
| 11 | // Test simple recursive variadic function template |
|---|
| 12 | template<typename Head, typename ...Tail> |
|---|
| 13 | void recurse_until_fail(const Head &, const Tail &...tail) { // expected-note{{candidate function template not viable: requires at least 1 argument, but 0 were provided}} |
|---|
| 14 | recurse_until_fail(tail...); // expected-error{{no matching function for call to 'recurse_until_fail'}} \ |
|---|
| 15 | // expected-note{{in instantiation of function template specialization 'recurse_until_fail<char [7]>' requested here}} \ |
|---|
| 16 | // expected-note{{in instantiation of function template specialization 'recurse_until_fail<double, char [7]>' requested here}} |
|---|
| 17 | } |
|---|
| 18 | |
|---|
| 19 | void test_recurse_until_fail() { |
|---|
| 20 | recurse_until_fail(1, 3.14159, "string"); // expected-note{{in instantiation of function template specialization 'recurse_until_fail<int, double, char [7]>' requested here}} |
|---|
| 21 | |
|---|
| 22 | } |
|---|
| 23 | |
|---|