This program should fail to compile but in fact succeeds:

class badswitch {
void f(int e) {
final int f;
switch (e) {
case 1:
f = 2;
break;
}
f = 3;
}
}