Test complex generics example

tests/PHPStan/Analyser/NodeScopeResolverTest.php

@@ -9642,6 +9642,11 @@ public function dataPsalmPrefixedTagsWithUnresolvableTypes(): array
 		return $this->gatherAssertTypes(__DIR__ . '/data/psalm-prefix-unresolvable.php');
 	}
 
+	public function dataComplexGenericsExample(): array
+	{
+		return $this->gatherAssertTypes(__DIR__ . '/data/complex-generics-example.php');
+	}
+
 	/**
 	 * @dataProvider dataBug2574
 	 * @dataProvider dataBug2577
@@ -9658,6 +9663,7 @@ public function dataPsalmPrefixedTagsWithUnresolvableTypes(): array
 	 * @dataProvider dataBug2677
 	 * @dataProvider dataBug2676
 	 * @dataProvider dataPsalmPrefixedTagsWithUnresolvableTypes
+	 * @dataProvider dataComplexGenericsExample
 	 * @param ConstantStringType $expectedType
 	 * @param Type $actualType
 	 */

tests/PHPStan/Analyser/data/complex-generics-example.php

@@ -0,0 +1,52 @@
+<?php declare(strict_types = 1);
+
+namespace ComplexGenericsExample;
+
+use function PHPStan\Analyser\assertType;
+
+/**
+ * @template TVariant of VariantInterface
+ */
+interface ExperimentInterface
+{
+}
+
+interface VariantInterface
+{
+}
+
+interface VariantRetrieverInterface
+{
+	/**
+	 * @template TVariant of VariantInterface
+	 * @param ExperimentInterface<TVariant> $experiment
+	 * @return TVariant
+	 */
+	public function getVariant(ExperimentInterface $experiment): VariantInterface;
+}
+
+/**
+ * @implements ExperimentInterface<SomeVariant>
+ */
+class SomeExperiment implements ExperimentInterface
+{
+}
+
+class SomeVariant implements VariantInterface
+{
+}
+
+class SomeClass
+{
+	private $variantRetriever;
+
+	public function __construct(VariantRetrieverInterface $variantRetriever)
+	{
+		$this->variantRetriever = $variantRetriever;
+	}
+
+	public function someFunction(): void
+	{
+		assertType('ComplexGenericsExample\SomeVariant', $this->variantRetriever->getVariant(new SomeExperiment()));
+	}
+}