Another way to solve this problem in theory is to have Java-like annotations that force subclasses to call super whether they like it or not, and even where the

Another way to solve this problem in theory is to have Java-like annotations that force subclasses to call super whether they like it or not, and even where they must call super, for example @OverridesMustCallMe(location="top"). The super call could be automatically added at compile time if you don't provide it, or it could result in a compiler error if you don't provide it (probably the latter). Never seen a language like this though, so it may be a bad idea for some reason.