RFR: 8174840: Elements.overrides does not check the return type of the methods

[Joe Darcy]

On Mon, 6 Jan 2025 22:29:24 GMT, Pavel Rappo <prappo at openjdk.org> wrote:

>> I don't agree that it makes no sense but I find this wording simpler, so I'll use it instead.
>
> I would strongly recommend to wait for @jddarcy to review that.

The basic situation is that the "overrides" relation a develop has in mind may not be the same as the more restricted "overrides" relation defined in JLS. However, we don't necessarily want to require the extra checks to be omitted _and_ don't necessarily wan to forbid the extra checks from being done.

The current wording doesn't accomplish this.

-------------

PR Review Comment: https://git.openjdk.org/jdk/pull/22920#discussion_r1904955990