{motive_1 : Lean.Meta.Match.Pattern → Sort u} →
  (t : Lean.Meta.Match.Pattern) →
    ((type : Lean.Expr) → (xs : List Lean.Meta.Match.Pattern) → motive_1 (Lean.Meta.Match.Pattern.arrayLit type xs)) →
      ((e : Lean.Expr) → motive_1 (Lean.Meta.Match.Pattern.inaccessible e)) →
        (Nat.hasNotBit 17 t.ctorIdx → motive_1 t) → motive_1 t