@Override
 public void visit(Tree.Term term) {
   if (annotationConstructor != null && !checkingDefaults) {
     term.addError("compiler bug: unsupported term " + term.getClass().getSimpleName());
   }
 }