On Tue, 29 Nov 2022 20:35:00 GMT, Joe Darcy <da...@openjdk.org> wrote:

>> Remove redundant code reported in
>> 
>> https://mail.openjdk.org/pipermail/core-libs-dev/2022-November/097163.html
>
> Joe Darcy has updated the pull request incrementally with one additional 
> commit since the last revision:
> 
>   Remove whitespace.

I second Joe's concern: breaking invariants makes reasoning harder for future 
changes.

In my experience, IDEA suggestions are almost always good, but sometimes I 
stumbled upon the eternal human-versus-mechanical reasoning dilemma.

-------------

PR: https://git.openjdk.org/jdk/pull/11395

Reply via email to