{motive : Lean.Lsp.LeanFileProgressProcessingInfo → Sort u} →
  (t : Lean.Lsp.LeanFileProgressProcessingInfo) →
    ((range : Lean.Lsp.Range) → (kind : Lean.Lsp.LeanFileProgressKind) → motive { range := range, kind := kind }) →
      motive t