Add tests

Author: VincentLanglet

tests/PHPStan/Type/TypeCombinatorTest.php

@@ -19,6 +19,7 @@
 use PHPStan\Reflection\Callables\SimpleImpurePoint;
 use PHPStan\Testing\PHPStanTestCase;
 use PHPStan\TrinaryLogic;
+use PHPStan\Type\Accessory\AccessoryArrayListType;
 use PHPStan\Type\Accessory\AccessoryLiteralStringType;
 use PHPStan\Type\Accessory\AccessoryLowercaseStringType;
 use PHPStan\Type\Accessory\AccessoryNonEmptyStringType;
@@ -4216,6 +4217,44 @@ public static function dataIntersect(): iterable
 				StringType::class,
 				'string',
 			],
+			[
+				[
+					new ConstantArrayType(
+						[new ConstantStringType('a')],
+						[new ConstantStringType('foo')],
+					),
+					new AccessoryArrayListType(),
+				],
+				NeverType::class,
+				'*NEVER*=implicit',
+			],
+			[
+				[
+					new ConstantArrayType(
+						[new ConstantIntegerType(0), new ConstantIntegerType(1)],
+						[new ConstantStringType('foo'), new ConstantStringType('bar')],
+						[2],
+						isList: TrinaryLogic::createMaybe(),
+					),
+					new AccessoryArrayListType(),
+				],
+				ConstantArrayType::class,
+				'array{\'foo\', \'bar\'}',
+			],
+			[
+				[
+					new ConstantArrayType(
+						[new ConstantIntegerType(0), new ConstantIntegerType(1)],
+						[new ConstantStringType('foo'), new ConstantStringType('bar')],
+						[2],
+						[0, 1],
+						TrinaryLogic::createMaybe(),
+					),
+					new AccessoryArrayListType(),
+				],
+				ConstantArrayType::class,
+				'list{0?: \'foo\', 1?: \'bar\'}',
+			],
 		];
 
 		if (PHP_VERSION_ID < 80100) {