Crash with message TypeFromTree.defaultAction: conversion undefined for tree type ANNOTATION

[msridhar]

Input:

class Test {
  public @interface A1 {}

  public @interface A2 {
    A1[] m() default {@A1()};
  }
}

If I run ./checker/bin/javac -processor TaintingChecker Test.java on master I get a crash:

error: Error in AnnotatedTypeMirror.fromExpression(BaseAnnotatedTypeFactory, @A1()): TypeFromTree.defaultAction: conversion undefined for tree type ANNOTATION
  ; The Checker Framework crashed.  Please report the crash.
  Compilation unit: /tmp/Test.java
  Last visited tree at line 4 column 26:
  	A1[] m() default { @A1() };
  Exception: org.checkerframework.javacutil.BugInCF: TypeFromTree.defaultAction: conversion undefined for tree type ANNOTATION; org.checkerframework.javacutil.BugInCF: TypeFromTree.defaultAction: conversion undefined for tree type ANNOTATION
  	at org.checkerframework.framework.type.TypeFromTreeVisitor.defaultAction(TypeFromTreeVisitor.java:30)
  	at org.checkerframework.framework.type.TypeFromExpressionVisitor.defaultAction(TypeFromExpressionVisitor.java:178)
  	at org.checkerframework.framework.type.TypeFromExpressionVisitor.defaultAction(TypeFromExpressionVisitor.java:75)
  	at jdk.compiler/com.sun.source.util.SimpleTreeVisitor.visitAnnotation(SimpleTreeVisitor.java:707)
  	at jdk.compiler/com.sun.tools.javac.tree.JCTree$JCAnnotation.accept(JCTree.java:2601)
  	at jdk.compiler/com.sun.source.util.SimpleTreeVisitor.visit(SimpleTreeVisitor.java:80)
  	at org.checkerframework.framework.type.TypeFromTree.fromExpression(TypeFromTree.java:40)
  	at org.checkerframework.framework.type.AnnotatedTypeFactory.fromExpression(AnnotatedTypeFactory.java:1604)
  	at org.checkerframework.framework.type.AnnotatedTypeFactory.getAnnotatedType(AnnotatedTypeFactory.java:1293)
  	at org.checkerframework.framework.type.treeannotator.PropagationTreeAnnotator.visitNewArray(PropagationTreeAnnotator.java:86)
  	at org.checkerframework.framework.type.treeannotator.PropagationTreeAnnotator.visitNewArray(PropagationTreeAnnotator.java:42)
...