Add more test cases

phpstan · Mar 3, 2022 · fbf6c86 · fbf6c86
1 parent ade7898
commit fbf6c86
Show file tree

Hide file tree

Showing 3 changed files with 31 additions and 0 deletions.
diff --git a/tests/PHPStan/Analyser/NodeScopeResolverTest.php b/tests/PHPStan/Analyser/NodeScopeResolverTest.php
@@ -14,6 +14,9 @@ class NodeScopeResolverTest extends TypeInferenceTestCase
 
 	public function dataFileAsserts(): iterable
 	{
+		yield from $this->gatherAssertTypes(__DIR__ . '/data/equal.php');
+		yield from $this->gatherAssertTypes(__DIR__ . '/data/identical.php');
+		return;
 		require_once __DIR__ . '/data/implode.php';
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/implode.php');
 

diff --git a/tests/PHPStan/Analyser/data/equal.php b/tests/PHPStan/Analyser/data/equal.php
@@ -67,6 +67,18 @@ public function doIpsum(array $a): void
 
 	public function stdClass(\stdClass $a, \stdClass $b): void
 	{
+		if ($a == $a) {
+			assertType('stdClass', $a);
+		} else {
+			assertType('*NEVER*', $a);
+		}
+
+		if ($b != $b) {
+			assertType('*NEVER*', $b);
+		} else {
+			assertType('stdClass', $b);
+		}
+
 		if ($a == $b) {
 			assertType('stdClass', $a);
 			assertType('stdClass', $b);

diff --git a/tests/PHPStan/Analyser/data/identical.php b/tests/PHPStan/Analyser/data/identical.php
@@ -21,6 +21,22 @@ public function foo(\stdClass $a, \stdClass $b): void
 			assertType('stdClass', $b);
 		}
 
+		if ($a === $b) {
+			assertType('stdClass', $a);
+			assertType('stdClass', $b);
+		} else {
+			assertType('stdClass', $a);
+			assertType('stdClass', $b);
+		}
+
+		if ($a !== $b) {
+			assertType('stdClass', $a);
+			assertType('stdClass', $b);
+		} else {
+			assertType('stdClass', $a);
+			assertType('stdClass', $b);
+		}
+
 		assertType('stdClass', $a);
 		assertType('stdClass', $b);
 	}