int (@NotNull Problem problem) { HighlightingProblem highlighting = problem instanceof HighlightingProblem ? (HighlightingProblem)problem : null; return highlighting != null ? highlighting.getSeverity() : HighlightSeverity.ERROR.myVal; }