HighlightInfoType (@NotNull Annotation annotation) { ProblemHighlightType type = annotation.getHighlightType(); HighlightSeverity severity = annotation.getSeverity(); return toHighlightInfoType(type, severity); }