Reports
switch
statements with
default
branches which can never be taken. At present, such branches are only marked for
switch
statements over enumerated types all of whose values have corresponding
case
branches.