more tests

Author: staabm

tests/PHPStan/Rules/Arrays/NonexistentOffsetInArrayDimFetchRuleTest.php

@@ -1194,9 +1194,13 @@ public function testBug14234(): void
 		$this->reportPossiblyNonexistentGeneralArrayOffset = true;
 
 		$this->analyse([__DIR__ . '/data/bug-14234.php'], [
+			[
+				'Offset int<2, max> might not exist on non-empty-array<int<0, max>, string>.',
+				49,
+			],
 			[
 				'Offset int<0, max> might not exist on array.',
-				48,
+				60,
 			],
 		]);
 	}

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

@@ -40,7 +40,19 @@ function getShortenedPath3(string $identifier): string
 	return implode("/", $parts);
 }
 
-function getShortenedPath4(array $parts): string
+function getShortenedPath4(string $identifier): string
+{
+	$parts = explode('/', $identifier);
+	assertType('non-empty-list<string>', $parts);
+
+	for ($i = 2; $i < count($parts) - 4; $i++) {
+		$parts[$i] = substr($parts[$i], 0, 1); // should not error
+	}
+
+	return implode("/", $parts);
+}
+
+function errorOnRegularError(array $parts): string
 {
 	assertType('array', $parts);