added failling TypeCombinatorTests

phpstan · Jul 25, 2022 · 30728d4 · 30728d4
1 parent a1f7bf0
commit 30728d4
Showing 1 changed file with 23 additions and 0 deletions.
diff --git a/tests/PHPStan/Type/TypeCombinatorTest.php b/tests/PHPStan/Type/TypeCombinatorTest.php
@@ -14,6 +14,7 @@
 use PHPStan\Fixture\FinalClass;
 use PHPStan\Testing\PHPStanTestCase;
 use PHPStan\Type\Accessory\AccessoryNonEmptyStringType;
+use PHPStan\Type\Accessory\AccessoryNonFalsyStringType;
 use PHPStan\Type\Accessory\AccessoryNumericStringType;
 use PHPStan\Type\Accessory\HasMethodType;
 use PHPStan\Type\Accessory\HasOffsetType;
@@ -1905,6 +1906,28 @@ public function dataUnion(): iterable
 				StringType::class,
 				'string',
 			],
+			[
+				[
+					new ConstantStringType('0'),
+					new IntersectionType([
+						new StringType(),
+						new AccessoryNonFalsyStringType(),
+					]),
+				],
+				IntersectionType::class,
+				'non-empty-string',
+			],
+			[
+				[
+					new ConstantStringType(''),
+					new IntersectionType([
+						new StringType(),
+						new AccessoryNonFalsyStringType(),
+					]),
+				],
+				StringType::class,
+				'string',
+			],
 			[
 				[
 					new StringType(),