(motive : Lean.Elab.Term.GeneralizeResult → Sort u_1) →
  (__discr : Lean.Elab.Term.GeneralizeResult) →
    ((discrs' : Array Lean.Elab.Term.Discr) →
        (toClear' : Array Lean.FVarId) →
          (matchType' : Lean.Expr) →
            (altViews' : Array Lean.Elab.Term.MatchAltView) →
              (refined : Bool) →
                motive
                  { discrs := discrs', toClear := toClear', matchType := matchType', altViews := altViews',
                    refined := refined }) →
      motive __discr