Test @var in and out of function

phpstan · May 19, 2023 · 4e19347 · 4e19347
1 parent 4fc202a
commit 4e19347
Show file tree

Hide file tree

Showing 2 changed files with 26 additions and 0 deletions.
diff --git a/tests/PHPStan/Analyser/NodeScopeResolverTest.php b/tests/PHPStan/Analyser/NodeScopeResolverTest.php
@@ -1034,6 +1034,7 @@ public function dataFileAsserts(): iterable
 		yield from $this->gatherAssertTypes(__DIR__ . '/../Rules/Arrays/data/bug-7469.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/../Rules/Variables/data/bug-3391.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-6901.php');
+		yield from $this->gatherAssertTypes(__DIR__ . '/data/var-in-and-out-of-function.php');
 
 		if (PHP_VERSION_ID >= 70400) {
 			yield from $this->gatherAssertTypes(__DIR__ . '/data/arrow-function-argument-type.php');

diff --git a/tests/PHPStan/Analyser/data/var-in-and-out-of-function.php b/tests/PHPStan/Analyser/data/var-in-and-out-of-function.php
@@ -0,0 +1,25 @@
+<?php
+
+namespace VarInAndOutOfFunction;
+
+use PHPStan\TrinaryLogic;
+use function PHPStan\Testing\assertVariableCertainty;
+
+assertVariableCertainty(TrinaryLogic::createMaybe(), $foo);
+
+/** @var int $foo */
+
+assertVariableCertainty(TrinaryLogic::createYes(), $foo);
+
+function doFoo(): void
+{
+	if (rand(0, 1)) {
+		$foo = 1;
+	}
+
+	assertVariableCertainty(TrinaryLogic::createMaybe(), $foo);
+
+	/** @var int $foo */
+
+	assertVariableCertainty(TrinaryLogic::createMaybe(), $foo);
+}