Resolve bitwise not on constant integer

Author: VincentLanglet

src/Reflection/InitializerExprTypeResolver.php

@@ -2630,8 +2630,11 @@ public function getBitwiseNotTypeFromType(Type $exprType): Type
 
 				return TypeCombinator::intersect(...$accessories);
 			}
+			if ($type instanceof ConstantIntegerType || $type instanceof ConstantFloatType) {
+				return new ConstantIntegerType(~$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/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);
 }