Give reason for unresolvable PHPDoc types

ondrejmirtes · ondrejmirtes · commit 57ea87c83545 · 2026-06-09T14:23:46.000+02:00
diff --git a/tests/PHPStan/Rules/PhpDoc/IncompatiblePhpDocTypeRuleTest.php b/tests/PHPStan/Rules/PhpDoc/IncompatiblePhpDocTypeRuleTest.php
@@ -497,4 +497,15 @@ public function testBug11463b(): void
 		$this->analyse([__DIR__ . '/data/bug-11463b.php'], []);
 	}
 
+	public function testExplainUnresolvable(): void
+	{
+		$this->analyse([__DIR__ . '/data/explain-unresolvable-method-parameter.php'], [
+			[
+				'PHPDoc tag @param for parameter $a contains unresolvable type.',
+				11,
+				'Sealed array shapes array{foo: int} and array{bar: string} cannot be intersected. Unseal at least one of them with ... syntax. Learn more: https://phpstan.org/blog/phpstan-2-2-unsealed-array-shapes-safer-array-keys',
+			],
+		]);
+	}
+
 }
diff --git a/tests/PHPStan/Rules/PhpDoc/data/explain-unresolvable-method-parameter.php b/tests/PHPStan/Rules/PhpDoc/data/explain-unresolvable-method-parameter.php
@@ -0,0 +1,16 @@
+<?php
+
+namespace ExplainUnresolvableMethodParameter;
+
+class Foo
+{
+
+	/**
+	 * @param array{foo: int}&array{bar: string} $a
+	 */
+	public function doFoo(array $a): void
+	{
+
+	}
+
+}
