If we generate warnings that are annoying, that then lead to developers
turning off warnings, it has two negative consequences:

1. Useful warnings get ignored 
2. The work that went into generating those annoying warnings is wasted.

So I suggest that if we find developers  reporting warnings that are
annoying, then we fix the annoyance,

-- 

Thanks,

--Raman(I Search, I Find, I Misplace, I Research)
♈ Id: kg:/m/0285kf1  🦮