RFR: JDK-8289249: Add methods to Elements for record constructors

Fri Aug 5 22:20:08 UTC 2022

On Fri, 5 Aug 2022 16:43:28 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

> Generally, when we specify an `@implNote` for a default method that is a "do-nothing-helpful" method, we should find a place or way to document the useful implementation of the method.

I think we could look to improve the docs on that point for future work.

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

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