Regression test

Closes phpstan/phpstan#82
phpstan · Dec 15, 2022 · f35ea3a · f35ea3a
1 parent cb9761e
commit f35ea3a
Show file tree

Hide file tree

Showing 2 changed files with 24 additions and 0 deletions.
diff --git a/tests/PHPStan/Analyser/NodeScopeResolverTest.php b/tests/PHPStan/Analyser/NodeScopeResolverTest.php
@@ -1139,6 +1139,7 @@ public function dataFileAsserts(): iterable
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/PDOStatement.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/discussion-8447.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-7805.php');
+		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-82.php');
 	}
 
 	/**

diff --git a/tests/PHPStan/Analyser/data/bug-82.php b/tests/PHPStan/Analyser/data/bug-82.php
@@ -0,0 +1,23 @@
+<?php
+
+namespace Bug82;
+
+use PHPStan\TrinaryLogic;
+use function PHPStan\Testing\assertType;
+use function PHPStan\Testing\assertVariableCertainty;
+
+class Response
+{
+
+	function test()
+	{
+		for ($retryCount = 0; $retryCount <= 64; ++$retryCount) {
+			$response = new Response();
+			break;
+		}
+
+		assertType(self::class, $response);
+		assertVariableCertainty(TrinaryLogic::createYes(), $response);
+	}
+
+}