expect invalidation

Author: staabm

tests/PHPStan/Rules/Arrays/NonexistentOffsetInArrayDimFetchRuleTest.php

@@ -1034,6 +1034,14 @@ public function testBug13538(): void
 				"Offset int might not exist on non-empty-array<int, ''>.",
 				49,
 			],
+			[
+				"Offset string might not exist on non-empty-array<string, ''>.",
+				68,
+			],
+			[
+				"Offset int might not exist on non-empty-array<int, non-empty-array<string, ''>>.",
+				68,
+			],
 		]);
 	}
 

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

@@ -62,5 +62,9 @@ function doBar(array $arr, int $i, string $s): void
 		assertType("non-empty-array<string, ''>", $logs[$i]);
 		assertType("''", $logs[$i][$s]);
 		echo $logs[$i][$s];
+
+		$i++;
+
+		echo $logs[$i][$s];
 	}
 }