Integrated: 8368864: Confusing error message (or wrong error) when record component has @deprecated Javadoc tag

[Vicente Romero]

On Thu, 13 Nov 2025 20:45:03 GMT, Vicente Romero <vromero at openjdk.org> wrote:

> The spec for records allows for the propagation of annotations and type annotations. There is a special javadoc tag `@deprecated` that when applied to most program elements its equivalent to the `@Deprecated` annotation. 
> 
> But in the case of record components, javadoc is ignoring any comments applied to them. They are not propagated anywhere, so it would be weird to act on a javadoc tag that is not even visible in the generated javadoc documentation. So we decided to just ignore the `@deprecated` javadoc tag if present.
> 
> TIA

This pull request has now been integrated.

Changeset: 4f83d211
Author:    Vicente Romero <vromero at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/4f83d211d16bf7aab8b3d7128df6764e017166ef
Stats:     58 lines in 2 files changed: 58 ins; 0 del; 0 mod

8368864: Confusing error message (or wrong error) when record component has @deprecated Javadoc tag

Reviewed-by: jlahoda

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

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