On 10/3/2018 3:32 PM, fo...@univ-mlv.fr wrote:
Here the coupling is not between accessibility and inference, it's between overridden methods and inference, this coupling already exists, we have even introduced the annotation @Override in Java 5 and 6 to make the coupling stronger, to be sure that people see that an overridden method and its implementation are strongly linked.
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;`)
Alex
