void (@NotNull HighlightingSession session, @NotNull HighlightInfo info, @NotNull TextRange priorityRange, @NotNull TextRange restrictedRange, int groupId) { ((HighlightingSessionImpl)session).addInfoIncrementally(info, restrictedRange, groupId); }