| Richard Smith | 148bc6a | 2018-02-20 23:47:12 +0000 | [diff] [blame^] | 1 | // RUN: %clang_cc1 -verify %s |
| 2 | |||||
| 3 | namespace deduce_pack_non_pack { | ||||
| 4 | template <typename...> class A; | ||||
| 5 | template <typename> struct C {}; | ||||
| 6 | template <typename T> void g(C<A<T>>); // expected-note {{candidate template ignored: deduced type 'C<A<[...], (no argument)>>' of 1st parameter does not match adjusted type 'C<A<[...], int>>' of argument [with T = bool]}} | ||||
| 7 | void h(C<A<bool, int>> &x) { g(x); } // expected-error {{no matching function}} | ||||
| 8 | } | ||||