@Override
            public void visitElement(@NotNull PsiElement element) {
              AnnotationSessionImpl.computeWithSession(file, false, annotator, annotationHolder -> {
                ((AnnotationHolderImpl)annotationHolder).runAnnotatorWithContext(element);
                for (Annotation annotation : (List<Annotation>)annotationHolder) {
                  if (annotation.getSeverity() == HighlightSeverity.ERROR) {
                    error[0] = annotation.getMessage();
                    break;
                  }
                }
                return null;
              });
              super.visitElement(element);
            }
@Override
            public void visitElement(@NotNull PsiElement element)