On Sun, 13 Aug 2023 00:01:00 GMT, Kim Barrett <kbarrett at openjdk.org> wrote: > I don't understand what problem this PR is fixing. Does the reproducer work for you? https://bugs.openjdk.org/browse/JDK-8313374 ------------- PR Comment: https://git.openjdk.org/jdk/pull/15080#issuecomment-1676155431