From 1ee1d4069df09ca4c4368d80657ecc689d31d5a2 Mon Sep 17 00:00:00 2001
From: Semyon <7ionmail@gmail.com>
Date: Fri, 19 Aug 2022 14:52:22 +0300
Subject: [PATCH] Fix DatePeriod tests for implementing IteratorAggregate

I wrote them in a wrong way in #8312, so they are rewritten now as @AndrolGenhald advised in #8327
---
 tests/CoreStubsTest.php | 24 +++++++++++-------------
 1 file changed, 11 insertions(+), 13 deletions(-)

diff --git a/tests/CoreStubsTest.php b/tests/CoreStubsTest.php
index d6f0a85a916..8fda5818f4b 100644
--- a/tests/CoreStubsTest.php
+++ b/tests/CoreStubsTest.php
@@ -86,23 +86,21 @@ public function providerValidCodeParse(): iterable
             'error_levels' => [],
             'php_version' => '8.0',
         ];
-        yield 'DatePeriod implements only Traversable on PHP 7' => [
-            '<?php
-
-            $period = new DatePeriod("R4/2012-07-01T00:00:00Z/P7D");
-            if ($period instanceof IteratorAggregate) {}',
-            'assertions' => [],
-            'error_levels' => [],
-            'php_version' => '7.3',
-        ];
         yield 'DatePeriod implements IteratorAggregate on PHP 8' => [
             '<?php
-
             $period = new DatePeriod("R4/2012-07-01T00:00:00Z/P7D");
-            if ($period instanceof IteratorAggregate) {}',
-            'assertions' => [],
-            'error_levels' => ['RedundantCondition'],
+            $iterator = $period->getIterator();',
+            'assertions' => ['$iterator' => 'Traversable<int, DateTime>&Iterator'],
+            'error_levels' => [],
             'php_version' => '8.0',
         ];
+        yield 'DatePeriod implements only Traversable on PHP 7' => [
+        '<?php
+            $period = new DatePeriod("R4/2012-07-01T00:00:00Z/P7D");
+            $iterator = $period->getIterator();',
+            'assertions' => ['$iterator' => 'Traversable<empty, empty>'],
+            'error_levels' => [],
+            'php_version' => '7.3',
+         ];
     }
 }