On Mon, 14 Nov 2022 17:21:50 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
> I removed 8295800 ("When searching documentation for an exception, don't jump
> over methods that don't mention that exception") from this PR because fixing
> it here would be too disruptive. It should better be fixed in the context of
> 8285368 ("Overhaul doc-comment inheritance"), which proposes changes to the
> documentation search algorithm.
It will be interesting to see the list of affected places, when we have away to
address this issue.
-------------
PR: https://git.openjdk.org/jdk/pull/10746
