∀ {motive_1 : Lean.Syntax → Sort u} (t : Lean.Syntax)
  (node :
    (info : Lean.SourceInfo) →
      (kind : Lean.SyntaxNodeKind) → (args : Array Lean.Syntax) → motive_1 (Lean.Syntax.node info kind args))
  («else» : Nat.hasNotBit 2 t.ctorIdx → motive_1 t) (h : Nat.hasNotBit 2 t.ctorIdx),
  Mathlib.Linter.getDeclModifiers._sparseCasesOn_1✝ t node «else» = «else» h