Could C++ use an attribute to require derived classes to call the base
class version of a function?

struct A {
  virtual void f() [[required]] { }
};

struct B : A {
  void f() override {
    A::f(); // compiler warning if omitted
  }
};
Much like Objective-C's __attribute__((objc_requires_super))