Degrade "case scrutinee not known to diverge for sure" Lint error to warning

Authored by nomeata on Jul 26 2016, 4:44 AM.