This results in a compile-time error on the subclasses; the inspection prevents it by reporting the problem at the point of the abstract method.