Класс наследует два метода, эквивалентных переопределению. ⇐ JAVA

[Anonymous]

Рассмотрим следующее правило из 21-го издания Спецификации языка Java:

Если класс C наследует метод по умолчанию, сигнатура которого равна переопределение эквивалентно другому методу, унаследованному C, если только не существует абстрактного метода, объявленного в суперклассе C и унаследованного C, который эквивалентен переопределению этим двум методам.

Определение «эквивалента переопределения» можно найти здесь.
Теперь рассмотрим следующий код:

Код: Выделить всё

interface I {
default void m(List l) {}
}

class A {
public void m(List l) {}
}

class B extends A implements I {}

Класс B наследует метод по умолчанию m(List) от интерфейса I, а также наследует метод m(List)
Класс B наследует метод m(List) по умолчанию от интерфейса I code> из его суперкласса A. Эти два метода эквивалентны переопределению, поскольку сигнатура m в интерфейсе I является подподписью сигнатуры m, определенной в классе A >.
Согласно правилу, этот код не должен компилироваться, так как в цепочке наследования нет абстрактного метода, переопределяющего оба метода. Однако код компилируется.
Почему он компилируется? Если эта программа не является контрпримером правилу, то какую ошибку я допустил в своих рассуждениях?

Подробнее здесь: https://stackoverflow.com/questions/790 ... nt-methods