{motive : Lean.Lsp.RefInfo → Sort u} →
  (t : Lean.Lsp.RefInfo) →
    ((definition? : Option Lean.Lsp.RefInfo.Location) →
        (usages : Array Lean.Lsp.RefInfo.Location) → motive { definition? := definition?, usages := usages }) →
      motive t