added failling coalesce test

phpstan · Nov 10, 2023 · 7663045 · 7663045
1 parent 3af5a0f
commit 7663045
Show file tree

Hide file tree

Showing 2 changed files with 38 additions and 0 deletions.
diff --git a/tests/PHPStan/Analyser/NodeScopeResolverTest.php b/tests/PHPStan/Analyser/NodeScopeResolverTest.php
@@ -1358,6 +1358,7 @@ public function dataFileAsserts(): iterable
 		}
 
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/falsy-isset.php');
+		yield from $this->gatherAssertTypes(__DIR__ . '/data/falsey-coalesce.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-7915.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-9714.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-9105.php');

diff --git a/tests/PHPStan/Analyser/data/falsey-coalesce.php b/tests/PHPStan/Analyser/data/falsey-coalesce.php
@@ -0,0 +1,37 @@
+<?php
+
+namespace FalseyCoalesce;
+
+use PHPStan\TrinaryLogic;
+use function PHPStan\Testing\assertVariableCertainty;
+
+interface TipPluginInterface
+{
+
+	/**
+	 * Used for returning values by key.
+	 *
+	 * @return string
+	 *   Value of the key.
+	 * @var string
+	 *   Key of the value.
+	 *
+	 */
+	public function get($key);
+
+}
+
+abstract class TipPluginBase implements TipPluginInterface
+{
+
+	public function getLocation(): void
+	{
+		$location = $this->get('position');
+		assertVariableCertainty(TrinaryLogic::createYes(), $location);
+
+			$location ?? '';
+		assertVariableCertainty(TrinaryLogic::createYes(), $location);
+	}
+
+}
+