On Fri, 2 Jun 2023 14:06:20 GMT, Hannes Wallnöfer <hann...@openjdk.org> wrote:
>> Filed https://bugs.openjdk.org/browse/JDK-8309158 > > As far as I understand, the considerations about `reportWarning` do not > affect this change. Is there anything that should be changed in this PR? No, I do not see what we can/should change in this PR at this time. I do think we should subsequently review how we generate diagnostics in this method. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/13720#discussion_r1214473664
