added regression test

closes phpstan/phpstan#5920
phpstan · Jul 26, 2022 · 5c71adb · 5c71adb
1 parent 5d044df
commit 5c71adb
Show file tree

Hide file tree

Showing 2 changed files with 22 additions and 0 deletions.
diff --git a/tests/PHPStan/Analyser/NodeScopeResolverTest.php b/tests/PHPStan/Analyser/NodeScopeResolverTest.php
@@ -946,6 +946,7 @@ public function dataFileAsserts(): iterable
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-7688.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-7689.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/has-offset-type-bug.php');
+		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-5920.php');
 	}
 
 	/**

diff --git a/tests/PHPStan/Analyser/data/bug-5920.php b/tests/PHPStan/Analyser/data/bug-5920.php
@@ -0,0 +1,21 @@
+<?php
+
+namespace Bug5920;
+
+use function PHPStan\Testing\assertType;
+
+use XMLReader;
+
+function doFoo() {
+	$reader = new XMLReader();
+	$reader->open('');
+	assertType('bool', $reader->read());
+	while ($reader->read()) {}
+	assertType('bool', $reader->read());
+	$reader->close();
+	$reader->open('');
+	assertType('bool', $reader->read());
+	while ($reader->read()) {}
+	assertType('bool', $reader->read());
+	$reader->close();
+}