{motive : Lean.Elab.InlayHintTextEdit → Sort u} →
  (t : Lean.Elab.InlayHintTextEdit) →
    ((range : Lean.Syntax.Range) → (newText : String) → motive { range := range, newText := newText }) → motive t