non-falsy-string cannot be converted to 0

Author: staabm

src/Type/Accessory/AccessoryNonFalsyStringType.php

@@ -31,6 +31,7 @@
 use PHPStan\Type\Traits\TruthyBooleanTypeTrait;
 use PHPStan\Type\Traits\UndecidedComparisonCompoundTypeTrait;
 use PHPStan\Type\Type;
+use PHPStan\Type\TypeCombinator;
 use PHPStan\Type\UnionType;
 use PHPStan\Type\VerbosityLevel;
 
@@ -183,7 +184,7 @@ public function toAbsoluteNumber(): Type
 
 	public function toInteger(): Type
 	{
-		return new IntegerType();
+		return TypeCombinator::remove(new IntegerType(), new ConstantIntegerType(0));
 	}
 
 	public function toFloat(): Type

tests/PHPStan/Analyser/nsrt/bug-10893.php

@@ -10,16 +10,16 @@
 function hasMicroseconds(\DateTimeInterface $value, string $str): bool
 {
 	assertType('non-falsy-string&numeric-string', $str);
-	assertType('int', (int)$str);
-	assertType('bool', (int)$str !== 0);
+	assertType('int<min, -1>|int<1, max>', (int)$str);
+	assertType('true', (int)$str !== 0);
 
 	assertType('non-falsy-string&numeric-string', $value->format('u'));
-	assertType('int', (int)$value->format('u'));
-	assertType('bool', (int)$value->format('u') !== 0);
+	assertType('int<min, -1>|int<1, max>', (int)$value->format('u'));
+	assertType('true', (int)$value->format('u') !== 0);
 
 	assertType('non-falsy-string&numeric-string', $value->format('v'));
-	assertType('int', (int)$value->format('v'));
-	assertType('bool', (int)$value->format('v') !== 0);
+	assertType('int<min, -1>|int<1, max>', (int)$value->format('v'));
+	assertType('true', (int)$value->format('v') !== 0);
 
 	assertType('float', $value->format('u') * 1e-6);
 	assertType('float', $value->format('v') * 1e-3);

tests/PHPStan/Analyser/nsrt/non-falsy-string.php

@@ -11,7 +11,7 @@ class Foo {
 	 * @param truthy-string $truthyString
 	 */
 	public function bar($nonFalseyString, $truthyString) {
-		assertType('int', (int) $nonFalseyString);
+		assertType('int<min, -1>|int<1, max>', (int) $nonFalseyString);
 		// truthy-string is an alias for non-falsy-string
 		assertType('non-falsy-string', $truthyString);
 	}