On Thu, 8 May 2025 13:33:45 GMT, Vicente Romero <vrom...@openjdk.org> 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 constructor parameter will be an >> object with a unique identity, not an instance of a value-based class; or >> that the type argument to a given type parameter will not be a value-based >> class type. >> >> For more details please refer to the complete description in the >> corresponding JIRA entry [1] >> >> TIA >> >> [1] https://bugs.openjdk.org/browse/JDK-8354556 > > Vicente Romero has updated the pull request with a new target base due to a > merge or a rebase. The pull request now contains 26 commits: > > - Merge branch 'master' into JDK-8354556 > - addressing review comment > - changes to test > - Merge branch 'master' into JDK-8354556 > - updating test > - final adjustments > - additional refactorings > - removing unneeded changes > - more refactorings > - more refactorings and tests > - ... and 16 more: https://git.openjdk.org/jdk/compare/900b3ff7...5d834ce0 note to reviewers: I had an offline discussion with Dan, I will introduce some changes to the implementation ------------- PR Comment: https://git.openjdk.org/jdk/pull/24746#issuecomment-2863994317
