Regression test

rvanvelzen · ondrejmirtes · commit b8f2d5d0059a · 2022-09-07T10:49:59.000+02:00
diff --git a/tests/PHPStan/Rules/Methods/MethodSignatureRuleTest.php b/tests/PHPStan/Rules/Methods/MethodSignatureRuleTest.php
@@ -395,4 +395,11 @@ public function testBug7652(): void
 		]);
 	}
 
+	public function testBug7103(): void
+	{
+		$this->reportMaybes = true;
+		$this->reportStatic = true;
+		$this->analyse([__DIR__ . '/data/bug-7103.php'], []);
+	}
+
 }
diff --git a/tests/PHPStan/Rules/Methods/data/bug-7103.php b/tests/PHPStan/Rules/Methods/data/bug-7103.php
@@ -0,0 +1,40 @@
+<?php declare(strict_types = 1);
+
+namespace Bug7103;
+
+/**
+ * @phpstan-template T of object
+ */
+interface Manager
+{
+    /**
+	 * @phpstan-template R of T
+	 * @param class-string<R> $class
+	 * @return R
+	 */
+	public function find(string $class, int $id): object;
+}
+
+interface Entity {}
+
+/**
+ * @phpstan-template T of Entity
+ * @phpstan-implements Manager<T>
+ */
+abstract class MyManager implements Manager
+{
+	/**
+     * @phpstan-template R of T
+     * @phpstan-param class-string<R> $class
+     * @phpstan-return R
+     */
+    public function find(string $class, int $id): object
+    {
+        /** @phpstan-var R $object */
+        $object = $this->get($id);
+
+        return $object;
+    }
+
+	abstract public function get(int $id): object;
+}

Original file line number	Diff line number	Diff line change
`@@ -395,4 +395,11 @@ public function testBug7652(): void`
`395`	`395`	`]);`
`396`	`396`	`}`
`397`	`397`
	`398`	`+ public function testBug7103(): void`
	`399`	`+ {`
	`400`	`+ $this->reportMaybes = true;`
	`401`	`+ $this->reportStatic = true;`
	`402`	`+ $this->analyse([__DIR__ . '/data/bug-7103.php'], []);`
	`403`	`+ }`
	`404`	`+`
`398`	`405`	`}`