On Wed, 18 Oct 2023 00:05:11 GMT, Zhengyu Gu <zgu at openjdk.org> wrote: > Trivial cleanup that removes duplicated checkings. Marked as reviewed by stuefe (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/16232#pullrequestreview-1686810073