HighlightDisplayLevel (@NotNull HighlightDisplayKey key, @Nullable NamedScope scope, @NotNull Project project) { ToolsImpl tools = getToolsOrNull(key.toString(), project); return tools != null ? tools.getLevel(scope, project) : HighlightDisplayLevel.WARNING; }