The language specification says > A class does not inherit members from its superinterfaces. > However, its implicit interface does. which is wrong. It should say 'from its non-superclass superinterfaces', and it should probably say 'class or mixin class' etc.