On Fri, 4 Aug 2023 23:24:45 GMT, Coleen Phillimore <cole...@openjdk.org> wrote:
> Why not? It's the same and casts the int where it's needed to be an int. To me the checked_cast looks less ugly in the initialization vs at the uses sites, but in this case with only one use it doesn't really matter. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/15160#discussion_r1286536069
