Add tests

Author: VincentLanglet

Diff for: tests/PHPStan/Analyser/nsrt/bug-12312.php

@@ -17,6 +17,39 @@ public function sayLowercase(string $s): void
 		assertType('lowercase-string', $s);
 	}
 
+	/**
+	 * @param lowercase-string $s
+	 */
+	public function sayLowercase2(string $s): void
+	{
+		if ('' != $s) {
+			assertType('lowercase-string&non-empty-string', $s);
+		}
+		assertType('lowercase-string', $s);
+	}
+
+	/**
+	 * @param lowercase-string $s
+	 */
+	public function sayLowercase3(string $s): void
+	{
+		if ($s != '0') {
+			assertType('lowercase-string&non-falsy-string', $s);
+		}
+		assertType('lowercase-string', $s);
+	}
+
+	/**
+	 * @param lowercase-string $s
+	 */
+	public function sayLowercase4(string $s): void
+	{
+		if ('0' != $s) {
+			assertType('lowercase-string&non-falsy-string', $s);
+		}
+		assertType('lowercase-string', $s);
+	}
+
 	/**
 	 * @param uppercase-string $s
 	 */
@@ -28,6 +61,39 @@ public function sayUppercase(string $s): void
 		assertType('uppercase-string', $s);
 	}
 
+	/**
+	 * @param uppercase-string $s
+	 */
+	public function sayUppercase2(string $s): void
+	{
+		if ('' != $s) {
+			assertType('non-empty-string&uppercase-string', $s);
+		}
+		assertType('uppercase-string', $s);
+	}
+
+	/**
+	 * @param uppercase-string $s
+	 */
+	public function sayUppercase3(string $s): void
+	{
+		if ($s != '0') {
+			assertType('non-falsy-string&uppercase-string', $s);
+		}
+		assertType('uppercase-string', $s);
+	}
+
+	/**
+	 * @param uppercase-string $s
+	 */
+	public function sayUppercase4(string $s): void
+	{
+		if ('0' != $s) {
+			assertType('non-falsy-string&uppercase-string', $s);
+		}
+		assertType('uppercase-string', $s);
+	}
+
 	/**
 	 * @param lowercase-string&uppercase-string $s
 	 */
@@ -38,4 +104,37 @@ public function sayBoth(string $s): void
 		}
 		assertType('lowercase-string&uppercase-string', $s);
 	}
+
+	/**
+	 * @param lowercase-string&uppercase-string $s
+	 */
+	public function sayBoth2(string $s): void
+	{
+		if ('' != $s) {
+			assertType('lowercase-string&non-empty-string&uppercase-string', $s);
+		}
+		assertType('lowercase-string&uppercase-string', $s);
+	}
+
+	/**
+	 * @param lowercase-string&uppercase-string $s
+	 */
+	public function sayBoth3(string $s): void
+	{
+		if ($s != '0') {
+			assertType('lowercase-string&non-falsy-string&uppercase-string', $s);
+		}
+		assertType('lowercase-string&uppercase-string', $s);
+	}
+
+	/**
+	 * @param lowercase-string&uppercase-string $s
+	 */
+	public function sayBoth4(string $s): void
+	{
+		if ('0' != $s) {
+			assertType('lowercase-string&non-falsy-string&uppercase-string', $s);
+		}
+		assertType('lowercase-string&uppercase-string', $s);
+	}
 }