Super class method and Interface default method conflict resolution

Your assumption is right, the concrete method inherited from the superclass takes precedence over the default method from the interface:

JLS §8.4.8. Inheritance, Overriding, and Hiding

A class C inherits from its direct superclass and direct superinterfaces all abstract and default (§9.4) methods m for which all of the following are true:

  • No method declared in C has a signature that is a subsignature (§8.4.2) of the signature of m.
  • No concrete method inherited by C from its direct superclass has a signature that is a subsignature of the signature of m.

The second cited bullet applies here, there is a concrete method inherited from the direct superclass with an appropriate signature, so the default method is not inherited.

The documentation even clears any doubt with an additional remark:

Note that it is possible for an inherited concrete method to prevent the inheritance of an abstract or default method. (Later we will assert that the concrete method overrides the abstract or default method “from C”.)

So it’s like SupCls.test() overrides Intf.test() when it comes to class Testing.

In other words, you are right, it’s a bug in Eclipse, but as long as it only affects the way the proposal is rendered, I’d consider it a minor bug. The inserted source will be the same, regardless of whether a D has been rendered in the proposal or not.

Leave a Comment