Regression tests

Closes phpstan/phpstan#8900
Closes phpstan/phpstan#8222

Author: ondrejmirtes

tests/PHPStan/Rules/Comparison/MatchExpressionRuleTest.php

@@ -452,4 +452,13 @@ public function testBug8932(): void
 		$this->analyse([__DIR__ . '/data/bug-8932.php'], []);
 	}
 
+	public function testBug8900(): void
+	{
+		if (PHP_VERSION_ID < 80000) {
+			$this->markTestSkipped('Test requires PHP 8.0.');
+		}
+
+		$this->analyse([__DIR__ . '/data/bug-8900.php'], []);
+	}
+
 }

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

@@ -0,0 +1,25 @@
+<?php
+
+namespace Bug8900;
+
+class Foo
+{
+
+	public function doFoo(): void
+	{
+		$test_array = [];
+		for($index = 0; $index++; $index < random_int(1,100)) {
+			$test_array[] = 'entry';
+		}
+
+		foreach($test_array as $key => $value) {
+			$key_mod_4 = match($key % 4) {
+				0 => '0',
+				1 => '1',
+				2 => '2',
+				3 => '3',
+			};
+		}
+	}
+
+}

tests/PHPStan/Rules/Properties/TypesAssignedToPropertiesRuleTest.php

@@ -536,4 +536,14 @@ public function testBug9131(): void
 		$this->analyse([__DIR__ . '/data/bug-9131.php'], []);
 	}
 
+	public function testBug8222(): void
+	{
+		if (PHP_VERSION_ID < 70400) {
+			$this->markTestSkipped('Test requires PHP 7.4.');
+		}
+
+		$this->checkExplicitMixed = true;
+		$this->analyse([__DIR__ . '/data/bug-8222.php'], []);
+	}
+
 }

tests/PHPStan/Rules/Properties/data/bug-8222.php

@@ -0,0 +1,14 @@
+<?php // lint >= 7.4
+
+namespace Bug8222;
+
+class ValueCollection
+{
+	/** @var array<positive-int|0, string> */
+	public array $values;
+
+	public function addValue(string $value): void
+	{
+		$this->values[] = $value;
+	}
+}