NullPointerException in GenericAnnotatedTypeFactory.getFirstNodeOfKindForTree(

[cushon]

New in 3.39.0-eisop1:

interface A {}

@interface B {
  Class<? extends A> value();
}

class C implements A {}

class E {}

public @interface Z {
  abstract class D implements A {

    public D() {
      g(new E());
    }

    static void g(Object... xs) {}
  }
}

error: SourceChecker.typeProcess: unexpected Throwable (NullPointerException) while processing Z.java
  ; The Checker Framework crashed.  Please report the crash.  Version: Checker Framework 3.39.0-eisop1.
  Checker: class org.checkerframework.checker.nullness.NullnessChecker
  Visitor: class org.checkerframework.checker.initialization.InitializationVisitor
  Compilation unit: Z.java
  Last visited tree at line 15 column 13:
        g(new E());
  Exception: java.lang.NullPointerException; java.lang.NullPointerException
        at org.checkerframework.framework.type.GenericAnnotatedTypeFactory.getFirstNodeOfKindForTree(GenericAnnotatedTypeFactory.java:1299)
        at org.checkerframework.framework.type.GenericAnnotatedTypeFactory.getAnnotatedTypeVarargsArray(GenericAnnotatedTypeFactory.java:1839)
        at org.checkerframework.common.basetype.BaseTypeVisitor.checkVarargs(BaseTypeVisitor.java:2129)
        at org.checkerframework.common.basetype.BaseTypeVisitor.visitMethodInvocation(BaseTypeVisitor.java:2012)
        at org.checkerframework.checker.initialization.InitializationVisitor.visitMethodInvocation(InitializationVisitor.java:299)
        at org.checkerframework.checker.initialization.InitializationVisitor.visitMethodInvocation(InitializationVisitor.java:66)
        at jdk.compiler/com.sun.tools.javac.tree.JCTree$JCMethodInvocation.accept(JCTree.java:1666)
        at jdk.compiler/com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:82)
        at org.checkerframework.framework.source.SourceVisitor.scan(SourceVisitor.java:95)
        at org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:437)
        at org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:194)
        at jdk.compiler/com.sun.source.util.TreeScanner.visitExpressionStatement(TreeScanner.java:433)
        at jdk.compiler/com.sun.tools.javac.tree.JCTree$JCExpressionStatement.accept(JCTree.java:1476)
        at jdk.compiler/com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:82)
        at org.checkerframework.framework.source.SourceVisitor.scan(SourceVisitor.java:95)
        at org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:437)
        at org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:194)
        at jdk.compiler/com.sun.source.util.TreeScanner.scanAndReduce(TreeScanner.java:90)
        at jdk.compiler/com.sun.source.util.TreeScanner.scan(TreeScanner.java:105)
        at jdk.compiler/com.sun.source.util.TreeScanner.visitBlock(TreeScanner.java:248)
        at jdk.compiler/com.sun.tools.javac.tree.JCTree$JCBlock.accept(JCTree.java:1048)
        at jdk.compiler/com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:82)