On Wed, 22 May 2024 12:25:09 GMT, Severin Gehwolf <sgehw...@openjdk.org> wrote:
>> I did some testing and it turns out that this is indeed not checked. I >> believe this is a miss in the Skara reimplementation of jcheck. I've opened >> https://bugs.openjdk.org/browse/SKARA-2265 to track this. >> >> Nevertheless, it would be good if you could fix this. :) > > Sure. Should be fixed now. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/14787#discussion_r1609943363