Add regression tests for phpstan/phpstan#13591, #10422, #10055

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: phpstan-bot

tests/PHPStan/Analyser/nsrt/bug-10055.php

@@ -0,0 +1,28 @@
+<?php declare(strict_types = 1);
+
+namespace Bug10055;
+
+use function PHPStan\Testing\assertType;
+
+/**
+ * @param 'value1'|'value2'|'value3' $param1
+ * @param ($param1 is 'value3' ? bool : int) $param2
+ */
+function test(string $param1, $param2): void
+{
+	if ($param1 === 'value1') {
+		assertType('int', $param2);
+	}
+	if ($param1 === 'value2') {
+		assertType('int', $param2);
+	}
+	if ($param1 === 'value3') {
+		assertType('bool', $param2);
+	}
+
+	match ($param1) {
+		'value1' => assertType('int', $param2),
+		'value2' => assertType('int', $param2),
+		'value3' => assertType('bool', $param2),
+	};
+}

tests/PHPStan/Analyser/nsrt/bug-10422.php

@@ -0,0 +1,55 @@
+<?php declare(strict_types = 1);
+
+namespace Bug10422;
+
+use stdClass;
+use function PHPStan\Testing\assertType;
+
+class Foo
+{
+
+	public function other(): bool
+	{
+		return true;
+	}
+
+	public function test(): void
+	{
+	}
+
+}
+
+function createOrNotObject(): ?Foo
+{
+	return new Foo();
+}
+
+function testSimple(): void
+{
+	$test = createOrNotObject();
+
+	$error = '';
+	if (!$test) {
+		$error = 'yes';
+	}
+	if ($error) {
+		return;
+	}
+	assertType(Foo::class, $test);
+}
+
+function testWithElseIf(): void
+{
+	$test = createOrNotObject();
+
+	$error = '';
+	if (!$test) {
+		$error = 'yes';
+	} else if ($test->other()) {
+		$error = 'yes';
+	}
+	if ($error) {
+		return;
+	}
+	assertType(Foo::class . '|null', $test); // Should be Foo, see https://github.com/phpstan/phpstan/issues/10422
+}

tests/PHPStan/Analyser/nsrt/bug-13591.php

@@ -0,0 +1,22 @@
+<?php declare(strict_types = 1);
+
+namespace Bug13591;
+
+use InvalidArgumentException;
+use function PHPStan\Testing\assertType;
+
+class HelloWorld
+{
+
+	public function test(string $action, ?int $hotelId): void
+	{
+		if ($action === 'get_rooms' && $hotelId === null) {
+			throw new InvalidArgumentException('Hotel ID is required');
+		}
+
+		if ($action === 'get_rooms') {
+			assertType('int', $hotelId);
+		}
+	}
+
+}