Fix inferring TemplateUnionType

src/Type/Generic/TemplateTypeTrait.php

@@ -162,7 +162,7 @@ public function isSubTypeOf(Type $type): TrinaryLogic
 
 	public function inferTemplateTypes(Type $receivedType): TemplateTypeMap
 	{
-		if ($receivedType instanceof UnionType || $receivedType instanceof IntersectionType) {
+		if (!$receivedType instanceof TemplateType && ($receivedType instanceof UnionType || $receivedType instanceof IntersectionType)) {
 			return $receivedType->inferTemplateTypesOn($this);
 		}
 

tests/PHPStan/Analyser/NodeScopeResolverTest.php

@@ -499,6 +499,7 @@ public function dataFileAsserts(): iterable
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/math.php');
 
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-1870.php');
+		yield from $this->gatherAssertTypes(__DIR__ . '/../Rules/Methods/data/bug-5562.php');
 	}
 
 	/**

tests/PHPStan/Rules/Methods/CallMethodsRuleTest.php

@@ -2124,4 +2124,12 @@ public function testBug3530(): void
 		$this->analyse([__DIR__ . '/data/bug-3530.php'], []);
 	}
 
+	public function testBug5562(): void
+	{
+		$this->checkThisOnly = false;
+		$this->checkNullables = true;
+		$this->checkUnionTypes = true;
+		$this->analyse([__DIR__ . '/data/bug-5562.php'], []);
+	}
+
 }

tests/PHPStan/Rules/Methods/data/bug-5562.php

@@ -0,0 +1,34 @@
+<?php
+
+namespace Bug5562;
+
+use function PHPStan\Testing\assertType;
+
+class Foo
+{
+
+	/**
+	 * @template T of int|string
+	 * @param T $test
+	 * @return T
+	 */
+	public function foo($test)
+	{
+		assertType('T of int|string (method Bug5562\Foo::foo(), argument)', $test);
+		$bar = $this->bar($test);
+		assertType('T of int|string (method Bug5562\Foo::foo(), argument)', $bar);
+
+		return $bar;
+	}
+
+	/**
+	 * @template T of int|string
+	 * @param T $test
+	 * @return T
+	 */
+	public function bar($test)
+	{
+		return $test;
+	}
+
+}