Add isAcceptedBy test for array&hasOffsetValue against union type array<int>|array<string>

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: phpstan-bot

tests/PHPStan/Type/IntersectionTypeTest.php

@@ -208,6 +208,20 @@ public static function dataIsAcceptedBy(): Iterator
 			),
 			TrinaryLogic::createNo(),
 		];
+
+		// array&hasOffsetValue(3, int) isAcceptedBy array<int>|array<string>
+		yield [
+			new IntersectionType([
+				new ArrayType(new MixedType(), new MixedType()),
+				new NonEmptyArrayType(),
+				new HasOffsetValueType(new ConstantIntegerType(3), new IntegerType()),
+			]),
+			new UnionType([
+				new ArrayType(new MixedType(), new IntegerType()),
+				new ArrayType(new MixedType(), new StringType()),
+			]),
+			TrinaryLogic::createYes(),
+		];
 	}
 
 	#[DataProvider('dataIsAcceptedBy')]