On Tue, 16 Feb 2021 15:54:08 GMT, Rémi Forax <github.com+828220+fo...@openjdk.org> wrote:
>> The interface method is a default method, so not technically an override. > > It's not an override but @Override has a broader semantics than just > overriding an existing method. > Given that it helps to understand that this method is part of a larger > algorithm, i think this method should be tagged with @Override Okay ------------- PR: https://git.openjdk.java.net/jdk/pull/1292