test union and intersection

Author: staabm

src/Type/Accessory/AccessoryLiteralStringType.php

@@ -29,6 +29,7 @@
 use PHPStan\Type\Traits\NonRemoveableTypeTrait;
 use PHPStan\Type\Traits\UndecidedComparisonCompoundTypeTrait;
 use PHPStan\Type\Type;
+use PHPStan\Type\TypeCombinator;
 use PHPStan\Type\UnionType;
 use PHPStan\Type\VerbosityLevel;
 
@@ -215,6 +216,10 @@ public function toArrayKey(): Type
 
 	public function toCoercedArgumentType(bool $strictTypes): Type
 	{
+		if (!$strictTypes) {
+			return TypeCombinator::union(new IntegerType(), new FloatType(), new StringType(), new BooleanType());
+		}
+
 		return $this;
 	}
 

src/Type/Accessory/AccessoryLowercaseStringType.php

@@ -29,6 +29,7 @@
 use PHPStan\Type\Traits\NonRemoveableTypeTrait;
 use PHPStan\Type\Traits\UndecidedComparisonCompoundTypeTrait;
 use PHPStan\Type\Type;
+use PHPStan\Type\TypeCombinator;
 use PHPStan\Type\UnionType;
 use PHPStan\Type\VerbosityLevel;
 
@@ -212,6 +213,10 @@ public function toArrayKey(): Type
 
 	public function toCoercedArgumentType(bool $strictTypes): Type
 	{
+		if (!$strictTypes) {
+			return TypeCombinator::union(new IntegerType(), new FloatType(), new StringType(), new BooleanType());
+		}
+
 		return $this;
 	}
 

src/Type/Accessory/AccessoryNonEmptyStringType.php

@@ -213,6 +213,10 @@ public function toArrayKey(): Type
 
 	public function toCoercedArgumentType(bool $strictTypes): Type
 	{
+		if (!$strictTypes) {
+			return TypeCombinator::union(new IntegerType(), new FloatType(), new StringType(), new BooleanType());
+		}
+
 		return $this;
 	}
 

src/Type/Accessory/AccessoryNonFalsyStringType.php

@@ -215,6 +215,10 @@ public function toArrayKey(): Type
 
 	public function toCoercedArgumentType(bool $strictTypes): Type
 	{
+		if (!$strictTypes) {
+			return TypeCombinator::union(new IntegerType(), new FloatType(), new StringType(), new BooleanType());
+		}
+
 		return $this;
 	}
 

src/Type/Accessory/AccessoryNumericStringType.php

@@ -215,6 +215,10 @@ public function toArrayKey(): Type
 
 	public function toCoercedArgumentType(bool $strictTypes): Type
 	{
+		if (!$strictTypes) {
+			return TypeCombinator::union(new IntegerType(), new FloatType(), new StringType(), new BooleanType());
+		}
+
 		return $this;
 	}
 

src/Type/Accessory/AccessoryUppercaseStringType.php

@@ -29,6 +29,7 @@
 use PHPStan\Type\Traits\NonRemoveableTypeTrait;
 use PHPStan\Type\Traits\UndecidedComparisonCompoundTypeTrait;
 use PHPStan\Type\Type;
+use PHPStan\Type\TypeCombinator;
 use PHPStan\Type\UnionType;
 use PHPStan\Type\VerbosityLevel;
 
@@ -212,6 +213,10 @@ public function toArrayKey(): Type
 
 	public function toCoercedArgumentType(bool $strictTypes): Type
 	{
+		if (!$strictTypes) {
+			return TypeCombinator::union(new IntegerType(), new FloatType(), new StringType(), new BooleanType());
+		}
+
 		return $this;
 	}
 

tests/PHPStan/Analyser/nsrt/bug-12393b.php

@@ -273,3 +273,50 @@ public function doBar(): void
 		assertType('string', $this->foo); // could be numeric-string
 	}
 }
+
+class FooStringToUnion
+{
+
+	public int|float $foo;
+
+	public function doFoo(string $b): void
+	{
+		$this->foo = $b;
+		assertType('float|int', $this->foo);
+	}
+
+	public function doBar(): void
+	{
+		$this->foo = "1.0";
+		assertType('float|int', $this->foo);
+	}
+}
+
+class FooNumericToString
+{
+
+	public string $foo;
+
+	public function doFoo(float|int $b): void
+	{
+		$this->foo = $b;
+		assertType('string', $this->foo); // could be numeric-string
+	}
+
+}
+
+class FooIntersectionToInt
+{
+
+	public int $foo;
+
+	/**
+	 * @param numeric-string $b
+	 */
+	public function doFoo(string $b): void
+	{
+		$this->foo = $b;
+		assertType('int', $this->foo);
+	}
+
+}