javac fails to disallow assignment to final parameter and final exception var

The spec specifically disallows assigning to a final parameter or a final exception variable, but javac allows it in certain cases. Here is an example:

public class T {
    public static void main(final String[] args) {
if (true ? true : (args = null) == null);
    }
}