SI-8731 warning if @switch is ignored

For matches with two or fewer cases, @switch is ignored. This should
not happen silently.
Merge pull request #4016 from lrytz/t8731

SI-8731 warning if @switch is ignored