https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124331
--- Comment #6 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
But unfortunately it breaks this test:
```
struct B { consteval virtual int fn() const { return 1; } };
struct D : B { consteval int fn() const override { return 2; } };
constexpr D d;
template<typename T, typename U>
void
f ()
{
static_assert(d.[:^^U::fn:]() == 2);
static_assert(d.U::fn() == 2);
static_assert(d.[:^^T::fn:]() == 2);
static_assert(d.[:^^T:]::fn() == 1);
static_assert(d.T::fn() == 1);
}
void
g ()
{
f<B, D>();
}
```
(currently wrongly rejected).
