On Thu, 19 Jul 2018 at 14:01, Paul Koning wrote: > Warnings are appropriate for code that is known to be a source of bugs, or > where there is a reasonable chance that the intent of the programmer doesn't > match what was actually written. That's not the case here.
Agreed. This seems to be a purely stylistic preference.