Add more test cases

phpstan · Mar 3, 2022 · a84465b · a84465b
1 parent 58215cb
commit a84465b
Show file tree

Hide file tree

Showing 2 changed files with 28 additions and 0 deletions.
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);
 	}