docs: @Requires("r != null")
    protected void printDiagnostic(DiagnosticManager.Report r) {
      Messager messager = processingEnv.getMessager();
      if (r.getElement() == null) {
        messager.printMessage(r.getKind(), r.getMessage(null));
      } else {
        messager.printMessage(r.getKind(), r.getMessage(null), r.getElement(),
                              r.getAnnotationMirror(), r.getAnnotationValue());
      }
    }