RFR: 8285368: Overhaul doc-comment inheritance [v2]

[Pavel Rappo]

On Wed, 7 Jun 2023 21:39:33 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

>> The general criticism here is whether we should restrict in any way the set of super types from which one can inherit documentation, and/or what should the set of checks be?
>> 
>> For example, if a method in C inherits a method in B that has no comment but which inherits a method with a comment in A, then it seems unduly restrictive to stop the method in C explicitly referencing the method in A, as compared to only allowing a reference to B, which implicitly gets its comment from A.
>> 
>> That being said, there is merit in starting off with restrictions and loosening them in the face of experience, rather than trying to increase the stylistic restrictions later.
>
>> Sure we can; this relates to an earlier comment of yours on Utils.isDirectSupertype here: [#14357 (comment)](https://github.com/openjdk/jdk/pull/14357#discussion_r1222053011)
> 
> Thanks for tying these together; I had not realized they were related.

As agreed out of band, I removed that check and the test for now in dea776e285b.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/14357#discussion_r1222737390