Test useful example with class-level template type T and static method

ondrejmirtes · ondrejmirtes · commit 4e5a69774597 · 2020-07-18T22:47:45.000+02:00
diff --git a/tests/PHPStan/Analyser/data/generics.php b/tests/PHPStan/Analyser/data/generics.php
@@ -1361,3 +1361,32 @@ public function method($one, $two): void
 		assertType('float', $this->property);
 	}
 }
+
+/**
+ * @template T
+ */
+interface GeneralFactoryInterface {
+	/**
+	 * @return T
+	 */
+	public static function create();
+}
+
+class Car {}
+
+/**
+ * @implements GeneralFactoryInterface<Car>
+ */
+class CarFactory implements GeneralFactoryInterface {
+	public static function create() { return new Car(); }
+}
+
+class CarFactoryProcessor {
+	/**
+	 * @param class-string<CarFactory> $class
+	 */
+	public function process($class): void {
+		$car = $class::create();
+		assertType(Car::class, $car);
+	}
+}
