// RUN: %clang_cc1 -triple x86_64-pc-linux-gnu -fsyntax-only -Warray-parameter -verify %s

template <int N>
void func(int i[10]); // expected-note {{previously declared as 'int[10]' here}}

template <int N>
void func(int i[N]); // expected-warning {{argument 'i' of type 'int[N]' with mismatched bound}}

template <int N>
void func(int (&Val)[N]);

template <>
void func<10>(int (&Val)[10]) {
}

static constexpr int Extent = 10;
void funk(int i[10]);
void funk(int i[Extent]); // no-warning

template<int K>
struct T {
  static void F(int a[8 * K]);
};
template<int K>
void T<K>::F(int a[8 * K]) {} // no-warning