Add more edge cases

phpstan · Mar 2, 2023 · 3334ad5 · 3334ad5
1 parent f0e6955
commit 3334ad5
Showing 1 changed file with 30 additions and 0 deletions.
diff --git a/tests/PHPStan/Type/TypeCombinatorTest.php b/tests/PHPStan/Type/TypeCombinatorTest.php
@@ -12,6 +12,8 @@
 use Exception;
 use InvalidArgumentException;
 use Iterator;
+use LengthException;
+use LogicException;
 use PHPStan\Fixture\FinalClass;
 use PHPStan\Testing\PHPStanTestCase;
 use PHPStan\Type\Accessory\AccessoryLiteralStringType;
@@ -884,6 +886,34 @@ public function dataUnion(): iterable
 				UnionType::class,
 				'(float|int)|(17.0|true)|(int|string)|null',
 			],
+			[
+				[
+					new BenevolentUnionType([new ConstantIntegerType(1), new ConstantIntegerType(2)]),
+					new StringType(),
+				],
+				UnionType::class,
+				'(1|2)|string',
+			],
+			[
+				[
+					new BenevolentUnionType([new ConstantIntegerType(1), new ConstantIntegerType(2), new ConstantIntegerType(3)]),
+					IntegerRangeType::fromInterval(2, 3),
+				],
+				UnionType::class,
+				'(1|2|3)',
+			],
+			[
+				[
+					new BenevolentUnionType([
+						new ObjectType(InvalidArgumentException::class),
+						new ObjectType(LengthException::class),
+						new ObjectType(stdClass::class),
+					]),
+					new ObjectType(LogicException::class),
+				],
+				UnionType::class,
+				'(InvalidArgumentException|LengthException|stdClass)|LogicException',
+			],
 			[
 				[
 					new ConstantStringType('foo'),