{motive : Lean.Lsp.SymbolInformation → Sort u} →
  (t : Lean.Lsp.SymbolInformation) →
    ((name : String) →
        (kind : Lean.Lsp.SymbolKind) →
          (tags : Array Lean.Lsp.SymbolTag) →
            (location : Lean.Lsp.Location) →
              (containerName? : Option String) →
                motive
                  { name := name, kind := kind, tags := tags, location := location,
                    containerName? := containerName? }) →
      motive t