return mixed type

Author: TomasVotruba

src/Type/Php/JsonThrowOnErrorDynamicReturnTypeExtension.php

@@ -16,25 +16,24 @@
 use PHPStan\Reflection\ParametersAcceptorSelector;
 use PHPStan\Reflection\ReflectionProvider;
 <<<<<<< HEAD
+<<<<<<< HEAD
 use PHPStan\Type\BitwiseFlagHelper;
 use PHPStan\Type\Constant\ConstantBooleanType;
 =======
 use PHPStan\Type\ArrayType;
 use PHPStan\Type\BooleanType;
+=======
+>>>>>>> return mixed type
 use PHPStan\Type\Constant\ConstantBooleanType;
 use PHPStan\Type\Constant\ConstantIntegerType;
 use PHPStan\Type\Constant\ConstantStringType;
 use PHPStan\Type\ConstantTypeHelper;
 >>>>>>> Extend JsonThrowOnErrorDynamicReturnTypeExtension to detect knonw type from contssant string value
 use PHPStan\Type\DynamicFunctionReturnTypeExtension;
-use PHPStan\Type\FloatType;
-use PHPStan\Type\IntegerType;
 use PHPStan\Type\MixedType;
 use PHPStan\Type\ObjectType;
-use PHPStan\Type\StringType;
 use PHPStan\Type\Type;
 use PHPStan\Type\TypeCombinator;
-use PHPStan\Type\UnionType;
 use stdClass;
 use function json_decode;
 
@@ -77,11 +76,7 @@ public function getTypeFromFunctionCall(
 
 		// narrow type for json_decode()
 		if ($functionReflection->getName() === 'json_decode') {
-			$jsonDecodeNarrowedType = $this->narrowTypeForJsonDecode($functionCall, $scope);
-			// improve type
-			if (! $jsonDecodeNarrowedType instanceof MixedType) {
-				$defaultReturnType = $jsonDecodeNarrowedType;
-			}
+			$defaultReturnType = $this->narrowTypeForJsonDecode($functionCall, $scope);
 		}
 
 		if (!isset($functionCall->getArgs()[$argumentPosition])) {
@@ -105,57 +100,34 @@ private function narrowTypeForJsonDecode(FuncCall $funcCall, Scope $scope): Type
 		$firstValueType = $scope->getType($firstArgValue);
 
 		if ($firstValueType instanceof ConstantStringType) {
-			$resolvedType = $this->resolveConstantStringType($firstValueType, $isForceArray);
-		} else {
-			$resolvedType = new MixedType();
-		}
-
-		// prefer specific type
-		if (! $resolvedType instanceof MixedType) {
-			return $resolvedType;
+			return $this->resolveConstantStringType($firstValueType, $isForceArray);
 		}
 
 		// fallback type
 		if ($isForceArray) {
-			return new UnionType([
-				new ArrayType(new MixedType(), new MixedType()),
-				new StringType(),
-				new FloatType(),
-				new IntegerType(),
-				new BooleanType(),
-			]);
+			return new MixedType(true, new ObjectType(stdClass::class));
 		}
 
-		// scalar types with stdClass
-		return new UnionType([
-			new ObjectType(stdClass::class),
-			new StringType(),
-			new FloatType(),
-			new IntegerType(),
-			new BooleanType(),
-		]);
+		return new MixedType(true);
 	}
 
 	/**
 	 * Is "json_decode(..., true)"?
-	 * @param Arg[] $args
 	 */
 	private function isForceArray(FuncCall $funcCall): bool
 	{
 		$args = $funcCall->getArgs();
 
-		if (!isset($args[1])) {
+		if (! isset($args[1])) {
 			return false;
 		}
 
 		$secondArgValue = $args[1]->value;
-		if ($secondArgValue instanceof ConstFetch) {
-			if ($secondArgValue->name->toLowerString() === 'true') {
-				return true;
-			}
+		if (! $secondArgValue instanceof ConstFetch) {
+			return false;
 		}
 
-		return false;
+		return $secondArgValue->name->toLowerString() === 'true';
 	}
 
 	private function resolveConstantStringType(ConstantStringType $constantStringType, bool $isForceArray): Type

tests/PHPStan/Analyser/LegacyNodeScopeResolverTest.php

@@ -8699,10 +8699,11 @@ public function dataPhp73Functions(): array
 				'json_encode($mixed,  $integer | JSON_THROW_ON_ERROR | JSON_NUMERIC_CHECK)',
 			],
 			[
-				'bool|float|int|stdClass|string',
+				'mixed',
 				'json_decode($mixed)',
 			],
 			[
+<<<<<<< HEAD
 <<<<<<< HEAD
 				'mixed',
 				'json_decode($mixed, false, 512, JSON_THROW_ON_ERROR | JSON_NUMERIC_CHECK)',
@@ -8716,6 +8717,13 @@ public function dataPhp73Functions(): array
 			[
 				'float|int|stdClass|string|true',
 >>>>>>> update type in LegacyNodeScopeResolverTest
+=======
+				'mixed~false',
+				'json_decode($mixed, false, 512, JSON_THROW_ON_ERROR | JSON_NUMERIC_CHECK)',
+			],
+			[
+				'mixed~false',
+>>>>>>> return mixed type
 				'json_decode($mixed, false, 512, $integer | JSON_THROW_ON_ERROR | JSON_NUMERIC_CHECK)',
 			],
 			[

tests/PHPStan/Analyser/data/json-decode/narrow_type.php

@@ -21,3 +21,9 @@
 
 $value = json_decode('[1, 2, 3]');
 assertType('array{1, 2, 3}', $value);
+
+
+function ($mixed) {
+	$value = json_decode($mixed);
+	assertType('mixed', $value);
+};

tests/PHPStan/Analyser/data/json-decode/narrow_type_with_force_array.php

@@ -21,3 +21,8 @@
 
 $value = json_decode('[1, 2, 3]', true);
 assertType('array{1, 2, 3}', $value);
+
+function ($mixed) {
+	$value = json_decode($mixed, true);
+	assertType('mixed~stdClass', $value);
+};