{motive : Lean.Lsp.SignatureHelpTriggerKind → Sort u} →
  (t : Lean.Lsp.SignatureHelpTriggerKind) →
    motive Lean.Lsp.SignatureHelpTriggerKind.invoked → (Nat.hasNotBit 1 t.ctorIdx → motive t) → motive t