Add regression tests for phpstan/phpstan#7185 and phpstan/phpstan#13204

Both issues involve template bounds not being correctly resolved when
generic types are used without explicit type parameters. These are now
fixed by the getActiveTemplateTypeMapForAncestorResolution() change.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: 2 people

tests/PHPStan/Analyser/nsrt/bug-13204.php

@@ -0,0 +1,21 @@
+<?php declare(strict_types = 1);
+
+namespace Bug13204;
+
+use function PHPStan\Testing\assertType;
+
+/**
+ * @template TChild of object
+ * @extends \ArrayAccess<int, TChild|null>
+ */
+interface ParentNode extends \ArrayAccess {}
+
+class HelloWorld
+{
+	public function sayHelloBug(object $node): void
+	{
+		if ($node instanceof ParentNode) {
+			assertType('object|null', $node[0]);
+		}
+	}
+}

tests/PHPStan/Analyser/nsrt/bug-7185.php

@@ -0,0 +1,18 @@
+<?php declare(strict_types = 1);
+
+namespace Bug7185;
+
+use function PHPStan\Testing\assertType;
+
+/**
+ * @template TKey of array-key
+ * @template TValue of object
+ * @extends \IteratorAggregate<TKey, TValue>
+ */
+interface Collection extends \IteratorAggregate {}
+
+function foo(Collection $list): void {
+	$all = iterator_to_array($list);
+	assertType('array<object>', $all);
+	assertType('object|false', current($all));
+}