a warning to implement

[Robert Dewar]

<<As already noted it's fairly irrelevant that you find it peculiar or
useless, or anything.  What is relevant, is that there obviously are
people who think it's usefull for that purpose.  Perhaps you can suggest
an equivalent alternative to suppress the warning in question in certain
circumstances.
>>

My objection to having this suppress the warning is that it seems entirely
arbitrary. I would find it no less arbitrary to say that the warning is
suppressed if the comment /* no warnings please */ is found after
the declaration, and it would certainly be more readable.