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