Regression test

Closes phpstan/phpstan#3321

Author: ondrejmirtes

tests/PHPStan/Analyser/NodeScopeResolverTest.php

@@ -10902,6 +10902,11 @@ public function dataBug4579(): array
 		return $this->gatherAssertTypes(__DIR__ . '/data/bug-4579.php');
 	}
 
+	public function dataBug3321(): array
+	{
+		return $this->gatherAssertTypes(__DIR__ . '/data/bug-3321.php');
+	}
+
 	/**
 	 * @param string $file
 	 * @return array<string, mixed[]>
@@ -11144,6 +11149,7 @@ private function gatherAssertTypes(string $file): array
 	 * @dataProvider dataBug4573
 	 * @dataProvider dataBug4577
 	 * @dataProvider dataBug4579
+	 * @dataProvider dataBug3321
 	 * @param string $assertType
 	 * @param string $file
 	 * @param mixed ...$args

tests/PHPStan/Analyser/data/bug-3321.php

@@ -0,0 +1,77 @@
+<?php
+
+namespace Bug3321;
+
+use function PHPStan\Analyser\assertType;
+
+/** @template T */
+interface Container {
+	/** @return T */
+	public function get();
+}
+
+
+class Foo
+{
+
+	/**
+	 * @template T
+	 * @param array<Container<T>> $containers
+	 * @return T
+	 */
+	function unwrap(array $containers) {
+		return array_map(
+			function ($container) {
+				return $container->get();
+			},
+			$containers
+		)[0];
+	}
+
+	/**
+	 * @param array<Container<int>> $typed_containers
+	 */
+	function takesDifferentTypes(array $typed_containers): void {
+		assertType('int', $this->unwrap($typed_containers));
+	}
+
+}
+
+/**
+ * @template TFacade of Facade
+ */
+interface Facadable
+{
+}
+
+/**
+ * @implements Facadable<AFacade>
+ */
+class A implements Facadable {}
+
+/**
+ * @implements Facadable<BFacade>
+ */
+class B implements Facadable {}
+
+abstract class Facade {}
+class AFacade extends Facade {}
+class BFacade extends Facade {}
+
+class FacadeFactory {
+	/**
+	 * @template TFacade of Facade
+	 * @param class-string<Facadable<TFacade>> $class
+	 * @return TFacade
+	 */
+	public function create(string $class): Facade
+	{
+		// Returns facade for class
+	}
+}
+
+
+function (FacadeFactory $f): void {
+	$facadeA = $f->create(A::class);
+	assertType(AFacade::class, $facadeA);
+};

tests/PHPStan/Rules/Methods/CallMethodsRuleTest.php

@@ -1854,4 +1854,12 @@ public function testBug4209Two(): void
 		$this->analyse([__DIR__ . '/../../Analyser/data/bug-4209-2.php'], []);
 	}
 
+	public function testBug3321(): void
+	{
+		$this->checkThisOnly = false;
+		$this->checkNullables = true;
+		$this->checkUnionTypes = true;
+		$this->analyse([__DIR__ . '/../../Analyser/data/bug-3321.php'], []);
+	}
+
 }