more precise ints

Author: staabm

src/Type/Constant/ConstantIntegerType.php

@@ -99,7 +99,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, $this->toFloat(), $this->toString(), $this->toBoolean());
 		}
 
 		return TypeCombinator::union($this, $this->toFloat());

src/Type/IntegerType.php

@@ -101,7 +101,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, $this->toFloat(), $this->toString(), $this->toBoolean());
 		}
 
 		return TypeCombinator::union($this, $this->toFloat());

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

@@ -55,7 +55,7 @@ public function doLorem(): void
 
 	public function doFloatTricky(){
 		$this->float = 1;
-		assertType('float', $this->float);
+		assertType('1.0', $this->float);
 	}
 }
 
@@ -210,13 +210,13 @@ class FooIntString
 	public function doFoo(int $b): void
 	{
 		$this->foo = $b;
-		assertType('string', $this->foo); // could be numeric-string
+		assertType('lowercase-string&numeric-string&uppercase-string', $this->foo);
 	}
 
 	public function doBar(): void
 	{
 		$this->foo = 1;
-		assertType('string', $this->foo); // could be numeric-string
+		assertType("'1'", $this->foo);
 	}
 }
 
@@ -231,14 +231,14 @@ class FooIntRangeString
 	public function doFoo(int $b): void
 	{
 		$this->foo = $b;
-		assertType('string', $this->foo); // could be numeric-string
+		assertType("'10'|'5'|'6'|'7'|'8'|'9'", $this->foo);
 	}
 
 	public function doBar(): void
 	{
 		$i = rand(5, 10);
 		$this->foo = $i;
-		assertType('string', $this->foo); // could be numeric-string
+		assertType("'10'|'5'|'6'|'7'|'8'|'9'", $this->foo); // could be numeric-string
 	}
 }
 
@@ -250,7 +250,7 @@ class FooNullableIntString
 	public function doFoo(?int $b): void
 	{
 		$this->foo = $b;
-		assertType('string', $this->foo); // could be numeric-string
+		assertType('lowercase-string&numeric-string&uppercase-string', $this->foo); // could be numeric-string
 	}
 
 	public function doBar(): void