On Tue, 17 Sep 2024 20:54:28 GMT, Kevin Driver <kdri...@openjdk.org> wrote:
>> (Also, it could be an `int[]` instead of `Integer[]` in that case) > > @viktorklang-ora: I went with your proposal: > https://github.com/openjdk/jdk/pull/20301/commits/ed6132c8db761e8dfdba6a6689c3ed5141c9e148. Superseded by https://github.com/openjdk/jdk/pull/20301/commits/f786a38179651a5bca8c4884eeb52d2cef0adc78. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/20301#discussion_r1769197382
