// P1064R0
// { dg-do compile }
// { dg-options "-std=c++2a" }

struct X
{
  constexpr virtual int f() const { return 1; };
};

struct Y : public X
{
  constexpr virtual int f() const { return 2; };
};

constexpr X a[2][1][3];
constexpr Y b[3][12];
static_assert (a[1][0][1].f() == 1);
static_assert (b[2][11].f() == 2);