3 // { dg-options "-std=c++2a" }
8 virtual T f() const = 0;
11 struct X2: public X1<int>
13 constexpr virtual int f() const { return 2; }
18 virtual int f() const { return 3; }
23 constexpr virtual int f() const { return 4; }
26 constexpr int (X1<int>::*pf)() const = &X1<int>::f;
29 static_assert(x2.f() == 2);
30 static_assert((x2.*pf)() == 2);
32 constexpr X1<int> const& r2 = x2;
33 static_assert(r2.f() == 2);
34 static_assert((r2.*pf)() == 2);
36 constexpr X1<int> const* p2 = &x2;
37 static_assert(p2->f() == 2);
38 static_assert((p2->*pf)() == 2);
41 static_assert(x4.f() == 4);
42 static_assert((x4.*pf)() == 4);
44 constexpr X1<int> const& r4 = x4;
45 static_assert(r4.f() == 4);
46 static_assert((r4.*pf)() == 4);
48 constexpr X1<int> const* p4 = &x4;
49 static_assert(p4->f() == 4);
50 static_assert((p4->*pf)() == 4);