Fix is_numeric

ondrejmirtes · ondrejmirtes · commit bb7c925dfaa3 · 2020-03-16T16:06:59.000+01:00
diff --git a/src/Type/Php/IsNumericFunctionTypeSpecifyingExtension.php b/src/Type/Php/IsNumericFunctionTypeSpecifyingExtension.php
@@ -36,7 +36,7 @@ public function specifyTypes(FunctionReflection $functionReflection, FuncCall $n
 		}
 
 		$argType = $scope->getType($node->args[0]->value);
-		if (!(new StringType())->isSuperTypeOf($argType)->no() && !$argType instanceof MixedType) {
+		if ((new StringType())->isSuperTypeOf($argType)->yes()) {
 			return new SpecifiedTypes([], []);
 		}
 

Original file line number	Diff line number	Diff line change
`@@ -36,7 +36,7 @@ public function specifyTypes(FunctionReflection $functionReflection, FuncCall $n`
`36`	`36`	`}`
`37`	`37`
`38`	`38`	`$argType = $scope->getType($node->args[0]->value);`
`39`		`- if (!(new StringType())->isSuperTypeOf($argType)->no() && !$argType instanceof MixedType) {`
	`39`	`+ if ((new StringType())->isSuperTypeOf($argType)->yes()) {`
`40`	`40`	`return new SpecifiedTypes([], []);`
`41`	`41`	`}`
`42`	`42`