{motive : Lean.Meta.Match.AltParamInfo → Sort u} →
  (t : Lean.Meta.Match.AltParamInfo) →
    ((numFields numOverlaps : ℕ) →
        (hasUnitThunk : Bool) →
          motive { numFields := numFields, numOverlaps := numOverlaps, hasUnitThunk := hasUnitThunk }) →
      motive t