Infer explicit mixed when instantiating generic class with unknown template types only in bleeding edge

Author: ondrejmirtes

conf/bleedingEdge.neon

@@ -2,5 +2,6 @@ parameters:
 	featureToggles:
 		bleedingEdge: true
 		skipCheckGenericClasses: []
+		explicitMixedInUnknownGenericNew: true
 	stubFiles:
 		- ../stubs/bleedingEdge/Countable.stub

conf/config.neon

@@ -27,6 +27,7 @@ parameters:
 			- CallbackFilterIterator
 			- FilterIterator
 			- RecursiveCallbackFilterIterator
+		explicitMixedInUnknownGenericNew: false
 	fileExtensions:
 		- php
 	checkAdvancedIsset: false
@@ -200,6 +201,7 @@ parametersSchema:
 		bleedingEdge: bool(),
 		disableRuntimeReflectionProvider: bool(),
 		skipCheckGenericClasses: listOf(string()),
+		explicitMixedInUnknownGenericNew: bool(),
 	])
 	fileExtensions: listOf(string())
 	checkAdvancedIsset: bool()

src/Analyser/DirectScopeFactory.php

@@ -39,6 +39,7 @@ public function __construct(
 		private bool $treatPhpDocTypesAsCertain,
 		Container $container,
 		private PhpVersion $phpVersion,
+		private bool $explicitMixedInUnknownGenericNew,
 	)
 	{
 		$this->dynamicConstantNames = $container->getParameter('dynamicConstantNames');
@@ -107,6 +108,7 @@ public function create(
 			$this->treatPhpDocTypesAsCertain,
 			$afterExtractCall,
 			$parentScope,
+			$this->explicitMixedInUnknownGenericNew,
 		);
 	}
 

src/Analyser/LazyScopeFactory.php

@@ -24,13 +24,16 @@ class LazyScopeFactory implements ScopeFactory
 
 	private bool $treatPhpDocTypesAsCertain;
 
+	private bool $explicitMixedInUnknownGenericNew;
+
 	public function __construct(
 		private string $scopeClass,
 		private Container $container,
 	)
 	{
 		$this->dynamicConstantNames = $container->getParameter('dynamicConstantNames');
 		$this->treatPhpDocTypesAsCertain = $container->getParameter('treatPhpDocTypesAsCertain');
+		$this->explicitMixedInUnknownGenericNew = $this->container->getParameter('featureToggles')['explicitMixedInUnknownGenericNew'];
 	}
 
 	/**
@@ -96,6 +99,7 @@ public function create(
 			$this->treatPhpDocTypesAsCertain,
 			$afterExtractCall,
 			$parentScope,
+			$this->explicitMixedInUnknownGenericNew,
 		);
 	}
 

src/Analyser/MutatingScope.php

@@ -200,6 +200,7 @@ public function __construct(
 		private bool $treatPhpDocTypesAsCertain = true,
 		private bool $afterExtractCall = false,
 		private ?Scope $parentScope = null,
+		private bool $explicitMixedInUnknownGenericNew = false,
 	)
 	{
 		if ($namespace === '') {
@@ -2894,6 +2895,7 @@ public function doNotTreatPhpDocTypesAsCertain(): Scope
 			false,
 			$this->afterExtractCall,
 			$this->parentScope,
+			$this->explicitMixedInUnknownGenericNew,
 		);
 	}
 
@@ -5649,9 +5651,36 @@ private function exactInstantiation(New_ $node, string $className): ?Type
 			$constructorMethod->getVariants(),
 		);
 
+		if ($this->explicitMixedInUnknownGenericNew) {
+			return new GenericObjectType(
+				$resolvedClassName,
+				$classReflection->typeMapToList($parametersAcceptor->getResolvedTemplateTypeMap()),
+			);
+		}
+
+		$resolvedPhpDoc = $classReflection->getResolvedPhpDoc();
+		if ($resolvedPhpDoc === null) {
+			return $objectType;
+		}
+
+		$list = [];
+		$typeMap = $parametersAcceptor->getResolvedTemplateTypeMap();
+		foreach ($resolvedPhpDoc->getTemplateTags() as $tag) {
+			$templateType = $typeMap->getType($tag->getName());
+			if ($templateType !== null) {
+				$list[] = $templateType;
+				continue;
+			}
+			$bound = $tag->getBound();
+			if ($bound instanceof MixedType && $bound->isExplicitMixed()) {
+				$bound = new MixedType(false);
+			}
+			$list[] = $bound;
+		}
+
 		return new GenericObjectType(
 			$resolvedClassName,
-			$classReflection->typeMapToList($parametersAcceptor->getResolvedTemplateTypeMap()),
+			$list,
 		);
 	}
 

src/Testing/PHPStanTestCase.php

@@ -162,6 +162,7 @@ public function createScopeFactory(ReflectionProvider $reflectionProvider, TypeS
 			$this->shouldTreatPhpDocTypesAsCertain(),
 			$container,
 			$container->getByType(PhpVersion::class),
+			$container->getParameter('featureToggles')['explicitMixedInUnknownGenericNew'],
 		);
 	}
 

tests/PHPStan/Rules/Properties/TypesAssignedToPropertiesRuleNoBleedingEdgeTest.php

@@ -0,0 +1,34 @@
+<?php declare(strict_types = 1);
+
+namespace PHPStan\Rules\Properties;
+
+use PHPStan\Rules\Rule;
+use PHPStan\Rules\RuleLevelHelper;
+use PHPStan\Testing\RuleTestCase;
+
+/**
+ * @extends RuleTestCase<TypesAssignedToPropertiesRule>
+ */
+class TypesAssignedToPropertiesRuleNoBleedingEdgeTest extends RuleTestCase
+{
+
+	private bool $checkExplicitMixed = false;
+
+	protected function getRule(): Rule
+	{
+		return new TypesAssignedToPropertiesRule(new RuleLevelHelper($this->createReflectionProvider(), true, false, true, $this->checkExplicitMixed), new PropertyDescriptor(), new PropertyReflectionFinder());
+	}
+
+	public function testGenericObjectWithUnspecifiedTemplateTypes(): void
+	{
+		$this->checkExplicitMixed = true;
+		$this->analyse([__DIR__ . '/data/generic-object-unspecified-template-types.php'], []);
+	}
+
+	public static function getAdditionalConfigFiles(): array
+	{
+		// no bleeding edge
+		return [];
+	}
+
+}

tests/PHPStan/Rules/Properties/TypesAssignedToPropertiesRuleTest.php

@@ -13,9 +13,11 @@
 class TypesAssignedToPropertiesRuleTest extends RuleTestCase
 {
 
+	private bool $checkExplicitMixed = false;
+
 	protected function getRule(): Rule
 	{
-		return new TypesAssignedToPropertiesRule(new RuleLevelHelper($this->createReflectionProvider(), true, false, true, false), new PropertyDescriptor(), new PropertyReflectionFinder());
+		return new TypesAssignedToPropertiesRule(new RuleLevelHelper($this->createReflectionProvider(), true, false, true, $this->checkExplicitMixed), new PropertyDescriptor(), new PropertyReflectionFinder());
 	}
 
 	public function testTypesAssignedToProperties(): void
@@ -387,4 +389,15 @@ public function testBug6117(): void
 		$this->analyse([__DIR__ . '/data/bug-6117.php'], []);
 	}
 
+	public function testGenericObjectWithUnspecifiedTemplateTypes(): void
+	{
+		$this->checkExplicitMixed = true;
+		$this->analyse([__DIR__ . '/data/generic-object-unspecified-template-types.php'], [
+			[
+				'Property GenericObjectUnspecifiedTemplateTypes\Foo::$obj (ArrayObject<int, string>) does not accept ArrayObject<(int|string), mixed>.',
+				13,
+			],
+		]);
+	}
+
 }

tests/PHPStan/Rules/Properties/data/generic-object-unspecified-template-types.php

@@ -0,0 +1,16 @@
+<?php
+
+namespace GenericObjectUnspecifiedTemplateTypes;
+
+class Foo
+{
+
+	/** @var \ArrayObject<int, string> */
+	private $obj;
+
+	public function __construct()
+	{
+		$this->obj = new \ArrayObject();
+	}
+
+}