Update AppendIterator stub

phpstan · Jul 18, 2022 · 9a6ebbb · 9a6ebbb
1 parent 74228e6
commit 9a6ebbb
Show file tree

Hide file tree

Showing 3 changed files with 27 additions and 2 deletions.
diff --git a/stubs/iterable.stub b/stubs/iterable.stub
@@ -276,7 +276,7 @@ class RecursiveArrayIterator extends ArrayIterator implements RecursiveIterator
 }
 
 /**
- * @template TKey of array-key
+ * @template TKey
  * @template TValue
  * @template TIterator as Iterator<TKey, TValue>
  *
@@ -291,7 +291,7 @@ class AppendIterator extends IteratorIterator {
     public function append(Iterator $iterator) {}
 
     /**
-     * @return ArrayIterator<TKey, TValue>
+     * @return ArrayIterator<array-key, TValue>
      */
     public function getArrayIterator() {}
 

diff --git a/tests/PHPStan/Rules/Methods/CallMethodsRuleTest.php b/tests/PHPStan/Rules/Methods/CallMethodsRuleTest.php
@@ -2489,4 +2489,13 @@ public function testBug6291(): void
 		$this->analyse([__DIR__ . '/data/bug-6291.php'], []);
 	}
 
+	public function testBug1517(): void
+	{
+		$this->checkThisOnly = false;
+		$this->checkNullables = true;
+		$this->checkUnionTypes = true;
+		$this->checkExplicitMixed = true;
+		$this->analyse([__DIR__ . '/data/bug-1517.php'], []);
+	}
+
 }
diff --git a/tests/PHPStan/Rules/Methods/data/bug-1517.php b/tests/PHPStan/Rules/Methods/data/bug-1517.php
@@ -0,0 +1,16 @@
+<?php
+
+declare(strict_types = 1);
+
+$gen1 = static function () {
+    yield true => true;
+};
+
+$gen2 = static function () {
+    yield false => false;
+};
+
+$ait = new AppendIterator();
+
+$ait->append($gen1());
+$ait->append($gen2());