more tests

Author: staabm

tests/PHPStan/Rules/Arrays/NonexistentOffsetInArrayDimFetchRuleTest.php

@@ -1190,6 +1190,10 @@ public function testBug13770(): void
 				'Offset int<0, max> might not exist on list<int>.',
 				139,
 			],
+			[
+				'Offset int<0, max> might not exist on array.',
+				177,
+			],
 		]);
 	}
 

tests/PHPStan/Rules/Arrays/data/bug-13770.php

@@ -154,4 +154,29 @@ public function ZeroOrMoreIntLessThanOrEqualCountMinusOne(array $array, int $ind
 
 		return 0;
 	}
+
+	/**
+	 * @param list<int> $array
+	 * @param 0|positive-int $index
+	 */
+	public function ZeroOrMoreIntLessThanOrEqualCountMinusFive(array $array, int $index): int
+	{
+		if ($index <= count($array) - 5) {
+			return $array[$index];
+		}
+
+		return 0;
+	}
+
+	/**
+	 * @param 0|positive-int $index
+	 */
+	public function errorsBecauseNotList(array $array, int $index): int
+	{
+		if ($index <= count($array) - 5) {
+			return $array[$index];
+		}
+
+		return 0;
+	}
 }