// PR c++/91364 - Implement P0388R4: Permit conversions to arrays of unknown bound.
// { dg-do compile { target c++20 } }

template <typename T> void foo(T);

template <typename F, typename T, typename = decltype(foo<T>(F()))>
void test(int) { }

// No other overload, so if the above fails because of the conversion,
// we fail.

void
fn ()
{
  test<int(*)[2], int(*)[]>(0);
  test<int(*)[], int(*)[]>(0);
}