Added SwitchNoDefaultButCovered test.