another test

Author: staabm

tests/PHPStan/Rules/Arrays/NonexistentOffsetInArrayDimFetchRuleTest.php

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

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

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