InvalidParam warning on Javadoc for Java record components (original) (raw)

Description of the problem / feature request:

Javadoc on Java record components are @param tags on the record itself. It's also possible to override the accessor methods, but that shouldn't be necessary. error-prone produces an InvalidParam warning here though, as it doesn't seem to understand the Java record syntax.

Bugs: what's the simplest, easiest way to reproduce this bug? Please provide a minimal example if possible.

/**

• Example record.
• @param name Name of the example record. */ public record ExampleRecord(String name) { }

What version of Error Prone are you using?

2.6.0