{motive : Lean.Lsp.CallHierarchyIncomingCall → Sort u} →
  (t : Lean.Lsp.CallHierarchyIncomingCall) →
    ((«from» : Lean.Lsp.CallHierarchyItem) →
        (fromRanges : Array Lean.Lsp.Range) → motive { «from» := «from», fromRanges := fromRanges }) →
      motive t