{motive : Lean.Meta.Tactic.TryThis.TryThisInfo → Sort u} →
  (t : Lean.Meta.Tactic.TryThis.TryThisInfo) →
    ((edit : Lean.Lsp.TextEdit) →
        (codeActionTitle : String) →
          (suggestion : Lean.Meta.Tactic.TryThis.Suggestion) →
            motive { edit := edit, codeActionTitle := codeActionTitle, suggestion := suggestion }) →
      motive t