On Wed, 4 Jun 2025 11:39:34 GMT, Per Minborg <pminb...@openjdk.org> wrote:
>>> I wonder if we should add that implementations of the affected method >>> _shall_ do bounds checking to reduce the likelihood of a new/updated native >>> implementation miss that? >> >> @minborg, would you mind elaborating on this a bit, please? Do you imply >> adding an `@implSpec` to the touched `JavaLangAccess` methods? > >> > I wonder if we should add that implementations of the affected method >> > _shall_ do bounds checking to reduce the likelihood of a new/updated >> > native implementation miss that? >> >> @minborg, would you mind elaborating on this a bit, please? Do you imply >> adding an `@implSpec` to the touched `JavaLangAccess` methods? > > Yes, I think that would be a good thing to do. @minborg, added `@implSpec` in 1e135598e6c. ------------- PR Comment: https://git.openjdk.org/jdk/pull/25545#issuecomment-2942878470