∀ (passed : ℕ) (failed : Array Lean.Exception) (passed_1 : ℕ) (failed_1 : Array Lean.Exception),
  ({ passed := passed, failed := failed } = { passed := passed_1, failed := failed_1 }) =
    (passed = passed_1 ∧ failed = failed_1)