1 // P1064R0
2 // { dg-do compile }
3 // { dg-options "-std=c++2a" }
4 
5 struct X
6 {
fX7   constexpr virtual int f() const { return 1; };
8 };
9 
10 struct Y : public X
11 {
fY12   constexpr virtual int f() const { return 2; };
13 };
14 
15 constexpr X a[2][1][3];
16 constexpr Y b[3][12];
17 static_assert (a[1][0][1].f() == 1);
18 static_assert (b[2][11].f() == 2);
19