On Wed, 23 Jun 2021 17:54:30 GMT, Daniel Fuchs <dfu...@openjdk.org> wrote:
>> I'd personally replace all the applicable locations, as otherwise, it would >> confuse why there are two idioms. But it is outside of this PR so probably >> for another day. > > I agree with Naoto that it's a bit strange. OK. If you guys think it's worthwhile. I've added in those changes now. Please see commit 3a1b716 ------------- PR: https://git.openjdk.java.net/jdk/pull/4552
