On Mon, 14 Oct 2024 20:31:51 GMT, Kevin Bourrillion <d...@openjdk.org> wrote:
> 8342566: Improve javadoc of java.lang.annotation.ElementType With an update in this spirit, some mention of `Constructror.getAnnotatedReceiverType()` would be helpful too. ------------- PR Comment: https://git.openjdk.org/jdk/pull/21506#issuecomment-2427340508
