code: private void logResolveError(ResolveError error,
              DiagnosticPosition pos,
              Symbol location,
              Type site,
              Name name,
              List<Type> argtypes,
              List<Type> typeargtypes) {
          JCDiagnostic d = error.getDiagnostic(JCDiagnostic.DiagnosticType.ERROR,
                  pos, location, site, name, argtypes, typeargtypes);
          if (d != null) {
              d.setFlag(DiagnosticFlag.RESOLVE_ERROR);
              log.report(d);
          }
      }
docs: where