Narrow down type T of RecursiveIteratorIterator

phpstan · Feb 25, 2021 · d28b61b · d28b61b
1 parent d29d098
commit d28b61b
Show file tree

Hide file tree

Showing 3 changed files with 16 additions and 1 deletion.
diff --git a/stubs/iterable.stub b/stubs/iterable.stub
@@ -138,7 +138,7 @@ class ArrayIterator implements SeekableIterator, ArrayAccess, Countable
 }
 
 /**
- * @template T of \Traversable
+ * @template T of \RecursiveIterator|\IteratorAggregate
  * @mixin T
  */
 class RecursiveIteratorIterator

diff --git a/tests/PHPStan/Rules/Classes/InstantiationRuleTest.php b/tests/PHPStan/Rules/Classes/InstantiationRuleTest.php
@@ -332,4 +332,14 @@ public function testBug1711(): void
 		$this->analyse([__DIR__ . '/data/bug-1711.php'], []);
 	}
 
+	public function testBug3425(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-3425.php'], [
+			[
+				'Parameter #1 $it of class RecursiveIteratorIterator constructor expects T of IteratorAggregate|RecursiveIterator, Generator<int, int, mixed, void> given.',
+				5,
+			],
+		]);
+	}
+
 }
diff --git a/tests/PHPStan/Rules/Classes/data/bug-3425.php b/tests/PHPStan/Rules/Classes/data/bug-3425.php
@@ -0,0 +1,5 @@
+<?php declare(strict_types = 1);
+
+namespace Bug3425;
+
+new \RecursiveIteratorIterator((function() { yield 22; })());