Concise method body + type inference ?
John Rose
john.r.rose at oracle.com
Wed Oct 3 23:06:15 UTC 2018
On Oct 3, 2018, at 3:56 PM, Alex Buckley <alex.buckley at oracle.com> wrote:
>
> 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;`)
Put another way, Remi's suggestion is for a coupling stronger
than @Override, which is purely advisory. An 'override'
modifier would upgrade the advice to something mandatory,
at which point types might from from the super.
Not saying this is a good idea, just pointing out that @Override
provides a *weak partial* precedent for pulling schema from the
super.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.openjdk.java.net/pipermail/amber-spec-experts/attachments/20181003/8a23541c/attachment.html>
More information about the amber-spec-experts
mailing list