more tests

Author: staabm

tests/PHPStan/Rules/Arrays/NonexistentOffsetInArrayDimFetchRuleTest.php

@@ -1174,9 +1174,17 @@ public function testBug13770(): void
 				'Offset int might not exist on list<int>.',
 				66,
 			],
+			[
+				'Offset int might not exist on list<int>.',
+				91,
+			],
 			[
 				'Offset int might not exist on array.',
-				75,
+				100,
+			],
+			[
+				'Offset -1|3|6|10 might not exist on list<int>.',
+				126,
 			],
 		]);
 	}

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

@@ -69,6 +69,31 @@ public function anyIntLessThanCount(array $array, int $index): int
 		return 0;
 	}
 
+	/**
+	 * @param list<int> $array
+	 * @param int<0, max> $index
+	 */
+	public function positiveIntOnNormalCountMode(array $array, int $index): int
+	{
+		if ($index < count($array, COUNT_NORMAL)) {
+			return $array[$index]; // should not error
+		}
+
+		return 0;
+	}
+
+	/**
+	 * @param list<int> $array
+	 */
+	public function anyIntOnUnknownCountMode(array $array, int $index, $countMode): int
+	{
+		if ($index < count($array, $countMode)) {
+			return $array[$index]; // SHOULD still report - could be negative
+		}
+
+		return 0;
+	}
+
 	public function anyIntOnRecursiveCount(array $array, int $index): int
 	{
 		if ($index < count($array, COUNT_RECURSIVE)) {
@@ -77,4 +102,30 @@ public function anyIntOnRecursiveCount(array $array, int $index): int
 
 		return 0;
 	}
+
+	/**
+	 * @param list<int> $array
+	 * @param 3|6|10 $index
+	 */
+	public function constantPositiveIntLessThanCount(array $array, int $index): int
+	{
+		if ($index < count($array)) {
+			return $array[$index]; // should not report
+		}
+
+		return 0;
+	}
+
+	/**
+	 * @param list<int> $array
+	 * @param -1|3|6|10 $index
+	 */
+	public function constantMaybeNegativeIntLessThanCount(array $array, int $index): int
+	{
+		if ($index < count($array)) {
+			return $array[$index]; // SHOULD still report - could be negative
+		}
+
+		return 0;
+	}
 }