more tests

Author: staabm

tests/PHPStan/Type/TypeCombinatorTest.php

@@ -971,6 +971,20 @@ public function dataUnion(): iterable
 				IntersectionType::class,
 				'non-empty-array&hasOffsetValue(\'foo\', mixed)',
 			],
+			[
+				[
+					new IntersectionType([
+						new ArrayType(new MixedType(), new MixedType()),
+						new HasOffsetType(new ConstantStringType('foo')),
+					]),
+					new IntersectionType([
+						new ArrayType(new MixedType(), new MixedType()),
+						new HasOffsetValueType(new ConstantIntegerType(2), new ConstantStringType('foo')),
+					]),
+				],
+				IntersectionType::class,
+				'non-empty-array',
+			],
 			[
 				[
 					new BenevolentUnionType([new IntegerType(), new StringType()]),