more precise bools

Author: staabm

src/Type/BooleanType.php

@@ -114,7 +114,7 @@ public function toArrayKey(): Type
 	public function toCoercedArgumentType(bool $strictTypes): Type
 	{
 		if (!$strictTypes) {
-			return TypeCombinator::union(new IntegerType(), new FloatType(), new StringType(), new BooleanType());
+			return TypeCombinator::union($this->toInteger(), $this->toFloat(), $this->toString(), $this);
 		}
 
 		return $this;

src/Type/Constant/ConstantBooleanType.php

@@ -114,7 +114,7 @@ public function toArrayKey(): Type
 	public function toCoercedArgumentType(bool $strictTypes): Type
 	{
 		if (!$strictTypes) {
-			return TypeCombinator::union(new IntegerType(), new FloatType(), new StringType(), new BooleanType());
+			return TypeCombinator::union($this->toInteger(), $this->toFloat(), $this->toString(), $this);
 		}
 
 		return $this;

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

@@ -172,13 +172,13 @@ class FooBool
 	public function doFoo(bool $b): void
 	{
 		$this->foo = $b;
-		assertType('int', $this->foo);
+		assertType('0|1', $this->foo);
 	}
 
 	public function doBar(): void
 	{
 		$this->foo = true;
-		assertType('int', $this->foo);
+		assertType('1', $this->foo);
 	}
 }
 
@@ -190,15 +190,15 @@ class FooBoolString
 	public function doFoo(bool $b): void
 	{
 		$this->foo = $b;
-		assertType('string', $this->foo);
+		assertType("''|'1'", $this->foo);
 	}
 
 	public function doBar(): void
 	{
 		$this->foo = true;
-		assertType('string', $this->foo);
+		assertType("'1'", $this->foo);
 		$this->foo = false;
-		assertType('string', $this->foo);
+		assertType("''", $this->foo);
 	}
 }