Add tests

Author: VincentLanglet

tests/PHPStan/Rules/Comparison/MatchExpressionRuleTest.php

@@ -454,6 +454,14 @@ public function testBug11310(): void
 				'Match arm comparison between int<1, max> and 0 is always false.',
 				24,
 			],
+			[
+				'Match arm comparison between int<1, 6>|int<8, 14> and 0 is always false.',
+				49,
+			],
+			[
+				'Match arm comparison between 1|2|3|4|5|6 and 0 is always false.',
+				74,
+			],
 		]);
 	}
 

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

@@ -26,3 +26,53 @@ function baz(int $i): void {
 		default => 'default',
 	};
 }
+
+/** @param int<0, 5>|int<7, 13> $i */
+function foo2(int $i): void {
+	echo match ($i++) {
+		0 => 'zero',
+		default => 'default',
+	};
+}
+
+/** @param int<0, 5>|int<7, 13> $i */
+function bar2(int $i): void {
+	echo match ($i--) {
+		0 => 'zero',
+		default => 'default',
+	};
+}
+
+/** @param int<0, 5>|int<7, 13> $i */
+function baz2(int $i): void {
+	echo match (++$i) {
+		0 => 'zero',
+		1 => 'one',
+		default => 'default',
+	};
+}
+
+/** @param 0|1|2|3|4|5 $i */
+function foo3(int $i): void {
+	echo match ($i++) {
+		0 => 'zero',
+		default => 'default',
+	};
+}
+
+/** @param 0|1|2|3|4|5 $i */
+function bar3(int $i): void {
+	echo match ($i--) {
+		0 => 'zero',
+		default => 'default',
+	};
+}
+
+/** @param 0|1|2|3|4|5 $i */
+function baz3(int $i): void {
+	echo match (++$i) {
+		0 => 'zero',
+		1 => 'one',
+		default => 'default',
+	};
+}