On Sat, 10 May 2025 20:28:39 GMT, Vicente Romero wrote:
>> This PR is defining a new internal annotation,
>> `@jdk.internal.RequiresIdentity`, with target types PARAMETER and
>> TYPE_PARAMETER. The @RequiresIdentity annotation expresses the expectation
>> that an argument to a given method or
On Sat, 10 May 2025 20:38:36 GMT, Archie Cobbs wrote:
> FYI, this issue now effectively fixes [JDK-7004476 Lint.LintCategory should
> support aliases](https://bugs.openjdk.org/browse/JDK-7004476), which happened
> to be closed as "Rejected" on Monday. Not sure if anything needs to be done.
I g
On Sat, 10 May 2025 20:28:39 GMT, Vicente Romero wrote:
>> This PR is defining a new internal annotation,
>> `@jdk.internal.RequiresIdentity`, with target types PARAMETER and
>> TYPE_PARAMETER. The @RequiresIdentity annotation expresses the expectation
>> that an argument to a given method or
> This PR is defining a new internal annotation,
> `@jdk.internal.RequiresIdentity`, with target types PARAMETER and
> TYPE_PARAMETER. The @RequiresIdentity annotation expresses the expectation
> that an argument to a given method or constructor parameter will be an object
> with a unique ident