void (@NotNull TreeChangeEventImpl destinationTreeChange, TreeElement first, TreeElement last) { if (first != null) { destinationTreeChange.addElementaryChange(first.getTreeParent()); first.rawRemoveUpTo(last); } }