// RUN: %clang_cc1 -verify %s

namespace deduce_pack_non_pack {
  template <typename...> class A;
  template <typename> struct C {};
  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]}}
  void h(C<A<bool, int>> &x) { g(x); } // expected-error {{no matching function}}
}