This inspection reports instances of 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 instances have corresponding case branches.