// modeled on jacks 16.2.7-final-4: A final variable
// must be definitely unassigned if it
// is to be assigned inside an if (false) block.
// if false is no protection for evildoers
public class UnderIfFalse {
static int foo() { return 0; }
static final int val = foo();
public static void main(String[] args) {
if (false) {
val = 1;
}
}
}
ader'>
