void (ProperTextRange editRange, Document document) { TextRange docRange = TextRange.from(0, document.getTextLength()); assert docRange.contains(editRange) : docRange + " doesn't contain " + editRange; }