∀ {newText : String} {insert replace : Lean.Lsp.Range} {newText_1 : String} {insert_1 replace_1 : Lean.Lsp.Range},
  { newText := newText, insert := insert, replace := replace } =
      { newText := newText_1, insert := insert_1, replace := replace_1 } →
    newText = newText_1 ∧ insert = insert_1 ∧ replace = replace_1