On Wed, 7 Jun 2023 21:39:33 GMT, Jonathan Gibbons <j...@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
