Bleeding edge - new $string leads to object, not mixed

Author: ondrejmirtes

conf/bleedingEdge.neon

@@ -14,3 +14,4 @@ parameters:
 		checkMissingTemplateTypeInParameter: true
 		wrongVarUsage: true
 		arrayDestructuring: true
+		objectFromNewClass: true

conf/config.neon

@@ -27,6 +27,7 @@ parameters:
 		checkMissingTemplateTypeInParameter: false
 		wrongVarUsage: false
 		arrayDestructuring: false
+		objectFromNewClass: false
 	fileExtensions:
 		- php
 	checkAlwaysTrueCheckTypeFunctionCall: false
@@ -180,7 +181,8 @@ parametersSchema:
 		checkLogicalOrConstantCondition: bool(),
 		checkMissingTemplateTypeInParameter: bool(),
 		wrongVarUsage: bool(),
-		arrayDestructuring: bool()
+		arrayDestructuring: bool(),
+		objectFromNewClass: bool()
 	])
 	fileExtensions: listOf(string())
 	checkAlwaysTrueCheckTypeFunctionCall: bool()

src/Analyser/DirectScopeFactory.php

@@ -36,6 +36,8 @@ class DirectScopeFactory implements ScopeFactory
 
 	private bool $treatPhpDocTypesAsCertain;
 
+	private bool $objectFromNewClass;
+
 	/** @var string[] */
 	private array $dynamicConstantNames;
 
@@ -50,6 +52,7 @@ public function __construct(
 		\PHPStan\Parser\Parser $parser,
 		NodeScopeResolver $nodeScopeResolver,
 		bool $treatPhpDocTypesAsCertain,
+		bool $objectFromNewClass,
 		Container $container
 	)
 	{
@@ -63,6 +66,7 @@ public function __construct(
 		$this->parser = $parser;
 		$this->nodeScopeResolver = $nodeScopeResolver;
 		$this->treatPhpDocTypesAsCertain = $treatPhpDocTypesAsCertain;
+		$this->objectFromNewClass = $objectFromNewClass;
 		$this->dynamicConstantNames = $container->getParameter('dynamicConstantNames');
 	}
 
@@ -136,6 +140,7 @@ public function create(
 			$inFunctionCallsStack,
 			$this->dynamicConstantNames,
 			$this->treatPhpDocTypesAsCertain,
+			$this->objectFromNewClass,
 			$afterExtractCall,
 			$parentScope
 		);

src/Analyser/LazyScopeFactory.php

@@ -23,6 +23,8 @@ class LazyScopeFactory implements ScopeFactory
 
 	private bool $treatPhpDocTypesAsCertain;
 
+	private bool $objectFromNewClass;
+
 	public function __construct(
 		string $scopeClass,
 		Container $container
@@ -32,6 +34,7 @@ public function __construct(
 		$this->container = $container;
 		$this->dynamicConstantNames = $container->getParameter('dynamicConstantNames');
 		$this->treatPhpDocTypesAsCertain = $container->getParameter('treatPhpDocTypesAsCertain');
+		$this->objectFromNewClass = $container->getParameter('featureToggles')['objectFromNewClass'];
 	}
 
 	/**
@@ -104,6 +107,7 @@ public function create(
 			$inFunctionCallsStack,
 			$this->dynamicConstantNames,
 			$this->treatPhpDocTypesAsCertain,
+			$this->objectFromNewClass,
 			$afterExtractCall,
 			$parentScope
 		);

src/Analyser/MutatingScope.php

@@ -165,6 +165,8 @@ class MutatingScope implements Scope
 
 	private bool $treatPhpDocTypesAsCertain;
 
+	private bool $objectFromNewClass;
+
 	private bool $afterExtractCall;
 
 	private ?Scope $parentScope;
@@ -195,6 +197,7 @@ class MutatingScope implements Scope
 	 * @param array<MethodReflection|FunctionReflection> $inFunctionCallsStack
 	 * @param string[] $dynamicConstantNames
 	 * @param bool $treatPhpDocTypesAsCertain
+	 * @param bool $objectFromNewClass
 	 * @param bool $afterExtractCall
 	 * @param Scope|null $parentScope
 	 */
@@ -224,6 +227,7 @@ public function __construct(
 		array $inFunctionCallsStack = [],
 		array $dynamicConstantNames = [],
 		bool $treatPhpDocTypesAsCertain = true,
+		bool $objectFromNewClass = false,
 		bool $afterExtractCall = false,
 		?Scope $parentScope = null
 	)
@@ -257,6 +261,7 @@ public function __construct(
 		$this->inFunctionCallsStack = $inFunctionCallsStack;
 		$this->dynamicConstantNames = $dynamicConstantNames;
 		$this->treatPhpDocTypesAsCertain = $treatPhpDocTypesAsCertain;
+		$this->objectFromNewClass = $objectFromNewClass;
 		$this->afterExtractCall = $afterExtractCall;
 		$this->parentScope = $parentScope;
 	}
@@ -2204,6 +2209,7 @@ public function doNotTreatPhpDocTypesAsCertain(): Scope
 			$this->inFunctionCallsStack,
 			$this->dynamicConstantNames,
 			false,
+			$this->objectFromNewClass,
 			$this->afterExtractCall,
 			$this->parentScope
 		);
@@ -4641,6 +4647,10 @@ private function getTypeToInstantiateForNew(Type $type): Type
 			foreach ($type->getTypes() as $innerType) {
 				$decidedType = $decideType($innerType);
 				if ($decidedType === null) {
+					if ($this->objectFromNewClass) {
+						return new ObjectWithoutClassType();
+					}
+
 					return new MixedType(false, new StringType());
 				}
 
@@ -4652,6 +4662,10 @@ private function getTypeToInstantiateForNew(Type $type): Type
 
 		$decidedType = $decideType($type);
 		if ($decidedType === null) {
+			if ($this->objectFromNewClass) {
+				return new ObjectWithoutClassType();
+			}
+
 			return new MixedType(false, new StringType());
 		}
 

src/Testing/TestCase.php

@@ -564,6 +564,7 @@ public function createScopeFactory(Broker $broker, TypeSpecifier $typeSpecifier)
 			$this->getParser(),
 			self::getContainer()->getByType(NodeScopeResolver::class),
 			$this->shouldTreatPhpDocTypesAsCertain(),
+			false,
 			$container
 		);
 	}