Simplify abs return type

Author: rvanvelzen

resources/functionMap.php

@@ -57,9 +57,7 @@
 
 return [
 '_' => ['string', 'message'=>'string'],
-'abs' => ['0|positive-int', 'number'=>'int'],
-'abs\'1' => ['float', 'number'=>'float'],
-'abs\'2' => ['float|0|positive-int', 'number'=>'string'],
+'abs' => ['float|0|positive-int', 'num'=>'int|float'],
 'accelerator_get_configuration' => ['array'],
 'accelerator_get_scripts' => ['array'],
 'accelerator_get_status' => ['array', 'fetch_scripts'=>'bool'],

stubs/core.stub

@@ -307,3 +307,9 @@ function headers_sent(?string &$filename = null, ?int &$line = null): bool {}
  * @return ($value is callable ? true : false)
  */
 function is_callable(mixed $value, bool $syntax_only = false, ?string &$callable_name = null): bool {}
+
+/**
+ * @param float|int $num
+ * @return ($num is float ? float : $num is int ? non-negative-int : float|non-negative-int)
+ */
+function abs($num) {}

tests/PHPStan/Reflection/ParametersAcceptorSelectorTest.php

@@ -144,35 +144,6 @@ public function dataSelectFromTypes(): Generator
 			),
 		];
 
-		$absVariants = $reflectionProvider->getFunction(new Name('abs'), null)->getVariants();
-		yield [
-			[
-				new FloatType(),
-				new FloatType(),
-			],
-			$absVariants,
-			false,
-			ParametersAcceptorSelector::combineAcceptors($absVariants),
-		];
-		yield [
-			[
-				new FloatType(),
-				new IntegerType(),
-				new StringType(),
-			],
-			$absVariants,
-			false,
-			ParametersAcceptorSelector::combineAcceptors($absVariants),
-		];
-		yield [
-			[
-				new StringType(),
-			],
-			$absVariants,
-			false,
-			$absVariants[2],
-		];
-
 		$strtokVariants = $reflectionProvider->getFunction(new Name('strtok'), null)->getVariants();
 		yield [
 			[],

tests/PHPStan/Rules/Functions/CallToFunctionParametersRuleTest.php

@@ -1777,4 +1777,13 @@ public function testBug11559b(): void
 		]);
 	}
 
+	public function testBug9224(): void
+	{
+		if (PHP_VERSION_ID < 80100) {
+			$this->markTestSkipped('Test requires PHP 8.1.');
+		}
+
+		$this->analyse([__DIR__ . '/data/bug-9224.php'], []);
+	}
+
 }

tests/PHPStan/Rules/Functions/data/bug-9224.php

@@ -0,0 +1,12 @@
+<?php declare(strict_types = 1); // lint >= 8.1
+
+namespace Bug3425;
+
+class HelloWorld
+{
+	/** @param array<int> $arr */
+	public function sayHello(array $arr): void
+	{
+		array_map(abs(...), $arr);
+	}
+}