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.