Add tests

phpstan · Dec 23, 2024 · 39d559d · 39d559d
1 parent 7cc7b73
commit 39d559d
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/tests/PHPStan/Analyser/nsrt/bug-12312.php b/tests/PHPStan/Analyser/nsrt/bug-12312.php
@@ -14,6 +14,9 @@ public function sayLowercase(string $s): void
 		if ($s != '') {
 			assertType('lowercase-string&non-empty-string', $s);
 		}
+		if ('' != $s) {
+			assertType('lowercase-string&non-empty-string', $s);
+		}
 		assertType('lowercase-string', $s);
 	}
 
@@ -25,6 +28,9 @@ public function sayUppercase(string $s): void
 		if ($s != '') {
 			assertType('non-empty-string&uppercase-string', $s);
 		}
+		if ('' != $s) {
+			assertType('non-empty-string&uppercase-string', $s);
+		}
 		assertType('uppercase-string', $s);
 	}
 
@@ -36,6 +42,9 @@ public function sayBoth(string $s): void
 		if ($s != '') {
 			assertType('lowercase-string&non-empty-string&uppercase-string', $s);
 		}
+		if ('' != $s) {
+			assertType('lowercase-string&non-empty-string&uppercase-string', $s);
+		}
 		assertType('lowercase-string&uppercase-string', $s);
 	}
 }