On Tue, 30 May 2023 14:17:37 GMT, Thomas Schatzl <tschatzl at openjdk.org> wrote: >> I.e. the next region verification will complain. > > I filed https://bugs.openjdk.org/browse/JDK-8309117. Thanks ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/14145#discussion_r1210576387