{motive : Lean.Lsp.PrepareRenameParams → Sort u} →
  ((toTextDocumentPositionParams : Lean.Lsp.TextDocumentPositionParams) →
      motive { toTextDocumentPositionParams := toTextDocumentPositionParams }) →
    (t : Lean.Lsp.PrepareRenameParams) → motive t