gcc/testsuite/g++.dg/cpp1z/nontype-auto4.C

// { dg-do compile { target c++17 } }

template <class T, T n> void f(T, int (&)[n]);
template <class T, T n> void g(int (&)[n], T);
template <class T, T n> void h(int (&)[n]);

int main()
{
  const int i = 42;
  int ar[i];
  h(ar);
  f(i, ar);
  g(ar, i);
}