test

Author: staabm

tests/PHPStan/Rules/Arrays/NonexistentOffsetInArrayDimFetchRuleTest.php

@@ -946,6 +946,14 @@ public function testBug12981(): void
 				'Offset array<int, int|string> might not exist on non-empty-array<bool|float|int|string>.',
 				33,
 			],
+			[
+				'Offset array<int, int|string>|int|string might not exist on non-empty-array<bool|float|int|string>.',
+				39,
+			],
+			[
+				'Offset array<int, int|string>|int|string might not exist on non-empty-array<bool|float|int|string>.',
+				41,
+			],
 		]);
 	}
 

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

@@ -32,4 +32,12 @@ public function sayHello2(array $arr): void
 		$randIndex = array_rand($arr, $num);
 		echo $arr[$randIndex];
 	}
+
+	/** @param non-empty-array<scalar> $arr */
+	public function sayHello4(array $arr, int $num): void
+	{
+		echo $arr[array_rand($arr, $num)];
+		$randIndex = array_rand($arr, $num);
+		echo $arr[$randIndex];
+	}
 }