Fix phpstan/phpstan#14429: Treat PHPDocTypes as certain:false being ignored

phpstan-baseline.neon

@@ -1473,12 +1473,6 @@ parameters:
 			count: 1
 			path: src/Type/ObjectShapeType.php
 
-		-
-			rawMessage: 'Doing instanceof PHPStan\Type\Enum\EnumCaseObjectType is error-prone and deprecated. Use Type::getEnumCases() instead.'
-			identifier: phpstanApi.instanceofType
-			count: 1
-			path: src/Type/ObjectType.php
-
 		-
 			rawMessage: Doing instanceof PHPStan\Type\Generic\GenericObjectType is error-prone and deprecated.
 			identifier: phpstanApi.instanceofType

src/Type/Generic/TemplateTypeVariance.php

@@ -176,7 +176,7 @@ public function isValidVariance(TemplateType $templateType, Type $a, Type $b): I
 		}
 
 		if ($this->invariant()) {
-			$result = $a->equals($b);
+			$result = $a->equals($b) || ($b instanceof TemplateType && $a->equals($b->getBound()));
 			$reasons = [];
 			if (!$result) {
 				if (

src/Type/ObjectType.php

@@ -56,6 +56,7 @@
 use function array_map;
 use function array_values;
 use function count;
+use function get_class;
 use function implode;
 use function in_array;
 use function sprintf;
@@ -511,8 +512,8 @@
 		}
 
 		$thisDescription = $this->describeCache();
 
 		if ($type instanceof self) {
 			$description = $type->describeCache();
 		} else {
 			$description = $type->describe(VerbosityLevel::cache());
@@ -624,11 +625,7 @@
 
 	public function equals(Type $type): bool
 	{
-		if (!$type instanceof self) {
-			return false;
-		}
-
-		if ($type instanceof EnumCaseObjectType) {
+		if (get_class($this) !== get_class($type)) {
 			return false;
 		}
 

tests/PHPStan/Rules/Comparison/ImpossibleCheckTypeFunctionCallRuleTest.php

@@ -1207,4 +1207,11 @@ public function testBug13799(): void
 		]);
 	}
 
+	#[RequiresPhp('>= 8.1')]
+	public function testBug14429(): void
+	{
+		$this->treatPhpDocTypesAsCertain = false;
+		$this->analyse([__DIR__ . '/data/bug-14429.php'], []);
+	}
+
 }

tests/PHPStan/Rules/Comparison/data/bug-14429.php

@@ -0,0 +1,43 @@
+<?php // lint >= 8.1
+
+declare(strict_types = 1);
+
+namespace Bug14429;
+
+function throw_if(bool $condition, string $message): void
+{
+	if ($condition) { throw new \Exception($message); }
+}
+
+class Foo
+{
+	/**
+	 * @param list<string> $tags
+	 * @param list<float> $scores
+	 * @param \ArrayObject<string, string> $stringMap
+	 * @param \ArrayObject<string, int> $intKeyMap
+	 */
+	public function __construct(
+		public array $tags,
+		public array $scores,
+		public ?\ArrayObject $stringMap = null,
+		public ?\ArrayObject $intKeyMap = null,
+	) {
+		foreach ($tags as $tagsItem) {
+			throw_if(!is_string($tagsItem), 'tags item must be string');
+		}
+		foreach ($scores as $scoresItem) {
+			throw_if(!is_int($scoresItem) && !is_float($scoresItem), 'scores item must be number');
+		}
+		if ($stringMap !== null) {
+			foreach ($stringMap as $stringMapValue) {
+				throw_if(!is_string($stringMapValue), 'stringMap value must be string');
+			}
+		}
+		if ($intKeyMap !== null) {
+			foreach ($intKeyMap as $intKeyMapValue) {
+				throw_if(!is_int($intKeyMapValue), 'intKeyMap value must be int');
+			}
+		}
+	}
+}

tests/PHPStan/Rules/PhpDoc/WrongVariableNameInVarTagRuleTest.php

@@ -586,6 +586,14 @@ public function testBug12457(): void
 		]);
 	}
 
+	public function testBug14429(): void
+	{
+		$this->checkTypeAgainstPhpDocType = true;
+		$this->strictWideningCheck = true;
+		$this->analyse([__DIR__ . '/data/bug-14429.php'], []);
+	}
+
+
 	public function testNewIsAlwaysFinalClass(): void
 	{
 		$this->checkTypeAgainstPhpDocType = true;

tests/PHPStan/Rules/PhpDoc/data/bug-14429.php

@@ -0,0 +1,87 @@
+<?php
+
+namespace Bug14429;
+
+interface IEntity {
+	/**
+	 * @return IRepository<IEntity>
+	 */
+	public function getRepository(): IRepository;
+}
+
+interface IProperty {}
+
+interface IPropertyContainer extends IProperty {}
+
+/**
+ * @template E of IEntity
+ */
+interface IEntityAwareProperty extends IProperty {}
+
+/**
+ * @template E of IEntity
+ * @extends IEntityAwareProperty<E>
+ */
+interface IRelationshipContainer extends IPropertyContainer, IEntityAwareProperty {}
+
+interface IModel {
+	/**
+	 * @template E of IEntity
+	 * @template T of IRepository<E>
+	 * @param class-string<T> $className
+	 * @return T
+	 */
+	public function getRepository(string $className): IRepository;
+}
+
+/**
+ * @template E of IEntity
+ */
+interface IRepository {
+	public function getModel(): IModel;
+}
+
+class PropertyRelationshipMetadata {
+	/** @var class-string<IRepository<IEntity>> */
+	public string $repository;
+}
+
+/**
+ * @template E of IEntity
+ * @implements IRelationshipContainer<E>
+ */
+class HasOne implements IRelationshipContainer
+{
+	/** @var E|null */
+	protected ?IEntity $parent = null;
+
+	/** @var IRepository<E>|null */
+	protected ?IRepository $targetRepository = null;
+
+	protected PropertyRelationshipMetadata $metadataRelationship;
+
+	/**
+	 * @return E
+	 */
+	protected function getParentEntity(): IEntity
+	{
+		return $this->parent ?? throw new \InvalidArgumentException('Relationship is not attached to a parent entity.');
+	}
+
+	/**
+	 * @return IRepository<E>
+	 */
+	protected function getTargetRepository(): IRepository
+	{
+		if ($this->targetRepository === null) {
+			/** @var IRepository<E> $targetRepository */
+			$targetRepository = $this->getParentEntity()
+				->getRepository()
+				->getModel()
+				->getRepository($this->metadataRelationship->repository);
+			$this->targetRepository = $targetRepository;
+		}
+
+		return $this->targetRepository;
+	}
+}