Regression tests

Closes phpstan/phpstan#6064
Closes phpstan/phpstan#9457

Author: ondrejmirtes

tests/PHPStan/Rules/Comparison/MatchExpressionRuleTest.php

@@ -489,4 +489,13 @@ public function testBug9007(): void
 		$this->analyse([__DIR__ . '/data/bug-9007.php'], []);
 	}
 
+	public function testBug9457(): void
+	{
+		if (PHP_VERSION_ID < 80100) {
+			$this->markTestSkipped('Test requires PHP 8.1.');
+		}
+
+		$this->analyse([__DIR__ . '/data/bug-9457.php'], []);
+	}
+
 }

tests/PHPStan/Rules/Comparison/data/bug-6064.php

@@ -9,3 +9,11 @@ function (): void {
 		1 => 'up'
 	};
 };
+
+function (): void {
+	$result = match(rand(1, 3)) {
+		1 => 'foo',
+		2 => 'bar',
+		3 => 'baz'
+	};
+};

tests/PHPStan/Rules/Comparison/data/bug-9457.php

@@ -0,0 +1,31 @@
+<?php // lint >= 8.1
+
+namespace Bug9457;
+
+class Randomizer {
+	function bool(): bool {
+		return rand(0, 1) === 1;
+	}
+
+	public function doFoo(?self $randomizer): void
+	{
+		// Correct
+		echo match ($randomizer?->bool()) {
+			true => 'true',
+			false => 'false',
+			null => 'null',
+		};
+
+		// Correct
+		echo match ($randomizer?->bool()) {
+			true => 'true',
+			false, null => 'false or null',
+		};
+
+		// Unexpected error
+		echo match ($randomizer?->bool()) {
+			false => 'false',
+			true, null => 'true or null',
+		};
+	}
+}