<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">On Oct 3, 2018, at 3:56 PM, Alex Buckley <<a href="mailto:alex.buckley@oracle.com" class="">alex.buckley@oracle.com</a>> wrote:<br class=""><div><blockquote type="cite" class=""><br class="Apple-interchange-newline"><div class=""><span style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 16px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class="">Let's say that Java 5 had the right idea by coupling an overriding method to an overridden method, via @Override. Then, your proposal is at odds with Java 5, because omitting the method signature of the overriding method also means omitting @Override. (I assume you intended for there to be no annotations on your lambda-like method bodies such as `hashNext() -> index < end;`)</span><br style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 16px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""></div></blockquote></div><br class=""><div class="">Put another way, Remi's suggestion is for a coupling stronger</div><div class="">than @Override, which is purely advisory.  An 'override'</div><div class="">modifier would upgrade the advice to something mandatory,</div><div class="">at which point types might from from the super.</div><div class=""><br class=""></div><div class="">Not saying this is a good idea, just pointing out that @Override</div><div class="">provides a *weak partial* precedent for pulling schema from the</div><div class="">super.</div><div class=""><br class=""></div></body></html>