Function is_numeric leads to string|int|float type

Author: pepakriz

src/Analyser/TypeSpecifier.php

@@ -133,6 +133,12 @@ public function specifyTypesInCondition(Scope $scope, Expr $expr, bool $negated
 return $this->create($expr, new IterableIterableType(new MixedType()), $negated);
 case 'is_string':
 return $this->create($expr, new StringType(), $negated);
+case 'is_numeric':
+return $this->create($expr, new UnionType([
+new StringType(),
+new IntegerType(),
+new FloatType(),
+]), $negated);
 }
 } elseif ($expr instanceof BooleanAnd) {
 $leftTypes = $this->specifyTypesInCondition($scope, $expr->left, $negated);

tests/PHPStan/Analyser/NodeScopeResolverTest.php

@@ -2727,6 +2727,10 @@ public function dataSpecifiedTypesUsingIsFunctions(): array
 'string',
 '$string',
 ],
+[
+'int',
+'$intOrStdClass',
+],
 ];
 }
 

tests/PHPStan/Analyser/TypeSpecifierTest.php

@@ -59,7 +59,11 @@ public function dataCondition(): array
 ['$foo' => 'int'],
 ['$foo' => '~int'],
 ],
-
+[
+$this->createFunctionCall('is_numeric'),
+['$foo' => 'float|int|string'],
+['$foo' => '~float|int|string'],
+],
 [
 new Expr\BinaryOp\BooleanAnd(
 $this->createFunctionCall('is_int'),

tests/PHPStan/Analyser/data/specifiedTypesUsingIsFunctions.php

@@ -52,6 +52,12 @@
 return;
 }
 
+/** @var int|\stdClass $intOrStdClass */
+$intOrStdClass = doFoo();
+if (!is_numeric($intOrStdClass)) {
+return;
+}
+
 assert(is_int($yetAnotherInteger));
 
 die;