Resolve bitwise not on constant integer

Author: VincentLanglet

src/Reflection/InitializerExprTypeResolver.php

@@ -2634,8 +2634,11 @@ public function getBitwiseNotTypeFromType(Type $exprType): Type
 
 				return new IntersectionType([new StringType(), ...$accessories]);
 			}
+			if ($type instanceof ConstantIntegerType || $type instanceof ConstantFloatType) {
+				return new ConstantIntegerType(~ (int) $type->getValue());
+			}
 			if ($type->isInteger()->yes() || $type->isFloat()->yes()) {
-				return new IntegerType(); //no const types here, result depends on PHP_INT_SIZE
+				return new IntegerType();
 			}
 			return new ErrorType();
 		});

tests/PHPStan/Analyser/Fiber/data/fnsr.php

@@ -96,8 +96,8 @@ public function doBitwiseNot($a, int $b): void
 	{
 		assertType('int', ~$a);
 		assertNativeType('int', ~$b);
-		assertType('int', ~1);
-		assertNativeType('int', ~1);
+		assertType('-2', ~1);
+		assertNativeType('-2', ~1);
 		assertType('int', ~$b);
 		assertNativeType('int', ~$b);
 	}

tests/PHPStan/Analyser/nsrt/bitwise-not.php

@@ -17,5 +17,5 @@ function foo(int $int, string $string, float $float, $stringOrInt, string $nonEm
 	assertType('int', ~$float);
 	assertType('int|string', ~$stringOrInt);
 	assertType("'" . (~"abc") . "'", ~"abc");
-	assertType('int', ~1); //result is dependent on PHP_INT_SIZE
+	assertType('-2', ~1);
 }