Incorrect nullness inference for array constructors

[GoogleCodeExporter]

Is this a known issue? I couldn't find documentation for it.

=== Test.java ===
class Test {
  public static void main(String[] args) {
    String array[] = new String[3];
    array[0].length(); // NPE here
  }
}
===

$ ~/jsr308/checker-framework-1.9.1/checker/bin/javac -version -processor 
org.checkerframework.checker.nullness.NullnessChecker Test.java 
javac 1.8.0-jsr308-1.9.1

# compiles cleanly

$ java Test
Exception in thread "main" java.lang.NullPointerException
    at Test.main(Test.java:4)

Original issue reported on code.google.com by cus...@google.com on 14 May 2015 at 6:59