add regression test

Author: staabm

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

@@ -0,0 +1,44 @@
+<?php
+
+namespace Bug10089;
+
+
+use function PHPStan\Testing\assertType;
+
+class Test
+{
+
+	protected function create_matrix(int $size): array
+	{
+		$size = min(8, $size);
+		$matrix = [];
+		for ($i = 0; $i < $size; $i++) {
+			$matrix[] = array_fill(0, $size, 0);
+		}
+
+		// array<int<0, max>, non-empty-array<int, 0>>
+		assertType('list<non-empty-list<0>>', $matrix);
+
+		$matrix[$size - 1][8] = 3;
+
+		// non-empty-array<int, non-empty-array<int, 0|3>&hasOffsetValue(8, 3)>
+		assertType('non-empty-list<non-empty-array<int<0, max>, 0|3>>', $matrix);
+
+		for ($i = 0; $i <= $size; $i++) {
+			if ($matrix[$i][8] === 0) {
+				// ...
+			}
+			if ($matrix[8][$i] === 0) {
+				// ...
+			}
+			if ($matrix[$size - 1 - $i][8] === 0) {
+				// ...
+			}
+		}
+
+		return $matrix;
+	}
+
+}
+
+

tests/PHPStan/Rules/Comparison/StrictComparisonOfDifferentTypesRuleTest.php

@@ -1046,6 +1046,11 @@ public function testBug13282(): void
 		$this->analyse([__DIR__ . '/../../Analyser/nsrt/bug-13282.php'], []);
 	}
 
+	public function testBug10089(): void
+	{
+		$this->analyse([__DIR__ . '/../../Analyser/nsrt/bug-10089.php'], []);
+	}
+
 	public function testBug11609(): void
 	{
 		$this->analyse([__DIR__ . '/data/bug-11609.php'], [