there is another class of methods that could theoretically be called directly and that is private methods. And I think implementing this for private methods is worth it, the implementation for other methods would be a side product then. Ah yes.. not the method needs to be final, the class needs to be, because this way we can be sure there will be no subclass adding a method... but I guess we can't work around the check here too.. because it is always possible, that the MetaClass got a new overloading or replacing method.... so this check has to check at last the MetaClass for being the default.