/* should not generate diagnostics */
switch (foo) {
	case 0:
		break;
	case 1:
		break;
	default:
		break;
}

switch (foo) {
	case 0:
		break;
	case 1:
	default:
		break;
}

switch (foo) {
	default:
		break;
}

switch (foo) {}

switch (foo) {
	case 0:
		break;
}