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

Pavel Rappo prappo at openjdk.org
Mon Jan 6 23:04:46 UTC 2025


On Tue, 19 Nov 2024 16:08:18 GMT, Pavel Rappo <prappo at openjdk.org> wrote:

> Please review this essentially doc only change.

This pull request has been closed without being integrated.

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

PR: https://git.openjdk.org/jdk/pull/22244


More information about the compiler-dev mailing list