gcc/testsuite/g++.dg/cpp2a/array-conv13.C


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

// 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);
}