Fix

ondrejmirtes · ondrejmirtes · commit 9076b6fba9f6 · 2020-03-16T14:15:06.000+01:00
diff --git a/src/Type/Php/IsNumericFunctionTypeSpecifyingExtension.php b/src/Type/Php/IsNumericFunctionTypeSpecifyingExtension.php
@@ -12,6 +12,7 @@
 use PHPStan\Type\FloatType;
 use PHPStan\Type\FunctionTypeSpecifyingExtension;
 use PHPStan\Type\IntegerType;
+use PHPStan\Type\MixedType;
 use PHPStan\Type\StringType;
 use PHPStan\Type\UnionType;
 
@@ -35,7 +36,7 @@ public function specifyTypes(FunctionReflection $functionReflection, FuncCall $n
 		}
 
 		$argType = $scope->getType($node->args[0]->value);
-		if (!(new StringType())->isSuperTypeOf($argType)->no()) {
+		if (!(new StringType())->isSuperTypeOf($argType)->no() && !$argType instanceof MixedType) {
 			return new SpecifiedTypes([], []);
 		}
 

Original file line number	Diff line number	Diff line change
`@@ -12,6 +12,7 @@`
`12`	`12`	`use PHPStan\Type\FloatType;`
`13`	`13`	`use PHPStan\Type\FunctionTypeSpecifyingExtension;`
`14`	`14`	`use PHPStan\Type\IntegerType;`
	`15`	`+use PHPStan\Type\MixedType;`
`15`	`16`	`use PHPStan\Type\StringType;`
`16`	`17`	`use PHPStan\Type\UnionType;`
`17`	`18`
`@@ -35,7 +36,7 @@ public function specifyTypes(FunctionReflection $functionReflection, FuncCall $n`
`35`	`36`	`}`
`36`	`37`
`37`	`38`	`$argType = $scope->getType($node->args[0]->value);`
`38`		`- if (!(new StringType())->isSuperTypeOf($argType)->no()) {`
	`39`	`+ if (!(new StringType())->isSuperTypeOf($argType)->no() && !$argType instanceof MixedType) {`
`39`	`40`	`return new SpecifiedTypes([], []);`
`40`	`41`	`}`
`41`	`42`