Fix phpstan/phpstan#14206: @var PDOStatement<int,string> incorrectly reported as unresolvable

- When TypeNodeResolver creates an intersection of a non-generic iterable class with user-provided type arguments (e.g. PDOStatement<int,string>), TypeCombinator::intersect may collapse the result to NeverType if the iterable types are incompatible
- This was triggered by the more precise getIterator() return type in the PDOStatement stub (Iterator<mixed, array<int|string, mixed>> instead of plain Iterator)
- The fix preserves the IntersectionType directly when the intersection would otherwise collapse to NeverType, maintaining @var override semantics
- New regression test in tests/PHPStan/Rules/PhpDoc/data/bug-14206.php

Author: phpstan-bot

.claude/worktrees/agent-a624340d

@@ -0,0 +1 @@
+Subproject commit 13a2f02edb0f763049973ae926dc10b6899a7cff

.claude/worktrees/agent-af2804bc

@@ -0,0 +1 @@
+Subproject commit 1734058bef811c84970b19806bbd2daee38786ab

src/PhpDoc/TypeNodeResolver.php

@@ -86,6 +86,7 @@
 use PHPStan\Type\IterableType;
 use PHPStan\Type\KeyOfType;
 use PHPStan\Type\MixedType;
+use PHPStan\Type\NeverType;
 use PHPStan\Type\NewObjectType;
 use PHPStan\Type\NonAcceptingNeverType;
 use PHPStan\Type\NonexistentParentClassType;
@@ -935,17 +936,23 @@ static function (string $variance): TemplateTypeVariance {
 
 			try {
 				if (count($genericTypes) === 1) { // Foo<ValueType>
-					return TypeCombinator::intersect(
-						$mainType,
-						new IterableType(new MixedType(true), $genericTypes[0]),
-					);
+					$iterableType = new IterableType(new MixedType(true), $genericTypes[0]);
+					$result = TypeCombinator::intersect($mainType, $iterableType);
+					if (!$result instanceof NeverType) {
+						return $result;
+					}
+
+					return new IntersectionType([$mainType, $iterableType]);
 				}
 
 				if (count($genericTypes) === 2) { // Foo<KeyType, ValueType>
-					return TypeCombinator::intersect(
-						$mainType,
-						new IterableType($genericTypes[0], $genericTypes[1]),
-					);
+					$iterableType = new IterableType($genericTypes[0], $genericTypes[1]);
+					$result = TypeCombinator::intersect($mainType, $iterableType);
+					if (!$result instanceof NeverType) {
+						return $result;
+					}
+
+					return new IntersectionType([$mainType, $iterableType]);
 				}
 			} finally {
 				if ($mainTypeClassName !== null) {

tests/PHPStan/Rules/PhpDoc/InvalidPhpDocVarTagTypeRuleTest.php

@@ -170,6 +170,11 @@ public function testBug6348(): void
 		$this->analyse([__DIR__ . '/data/bug-6348.php'], []);
 	}
 
+	public function testBug14206(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-14206.php'], []);
+	}
+
 	public function testBug9055(): void
 	{
 		$this->analyse([__DIR__ . '/data/bug-9055.php'], [

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

@@ -0,0 +1,17 @@
+<?php declare(strict_types = 1);
+
+namespace Bug14206;
+
+use PDO;
+use PDOStatement;
+
+class Test
+{
+	public function test(PDO $db): void
+	{
+		/** @var PDOStatement<int,string> */
+		$statement = $db->prepare('SELECT foo FROM bar');
+		$statement->setFetchMode(PDO::FETCH_COLUMN, 0);
+		$statement->execute();
+	}
+}