On Tue, 14 Sep 2021 17:25:05 GMT, Ioi Lam <ik...@openjdk.org> wrote: > Maybe it should be "any_integer"?
+1 ------------- PR: https://git.openjdk.java.net/jdk/pull/5437
On Tue, 14 Sep 2021 17:25:05 GMT, Ioi Lam <ik...@openjdk.org> wrote: > Maybe it should be "any_integer"?
+1 ------------- PR: https://git.openjdk.java.net/jdk/pull/5437