// PR c++/69531 - DR 1307, Overload resolution based on size of array init-list.
// { dg-do run { target c++20 } }
// Example from [over.ics.rank].

int f(int    (&&)[] ) { return 1; }    // #1
int f(double (&&)[] ) { return 2; }    // #2
int f(int    (&&)[2]) { return 3; }    // #3

int
main ()
{
  // Calls #1: Better than #2 due to conversion, better than #3 due to bounds.
  if (f({1}) != 1)
     __builtin_abort ();
  // Calls #2: Identity conversion is better than floating-integral conversion.
  if (f({1.0}) != 2)
     __builtin_abort ();
  // Calls #2: Identity conversion is better than floating-integral conversion.
  if (f({1.0, 2.0}) != 2)
     __builtin_abort ();
  // Calls #3: Converting to array of known bound is better than to unknown
  // bound, and an identity conversion is better than floating-integral
  // conversion.
  if (f({1, 2}) != 3)
     __builtin_abort ();
}