void (@NotNull RangeHighlighterEx highlighter) { if (highlighter.getTextRange().substring(highlighter.getDocument().getText()).equals("TTTTTTTTTTTTTTT")) { throw new RuntimeException("Must not remove type parameter highlighter"); } }