[2.x] Type Callable arguments

Author: WyriHaximus

src/PoolInterface.php

@@ -10,12 +10,13 @@
 interface PoolInterface extends PoolInfoInterface
 {
     /**
-     * @param (Closure():T) $callable
-     * @param array<mixed>  $args
+     * @param (Closure(A ...$args):T) $callable
+     * @param array<A>  $args
      *
      * @return T
      *
      * @template T
+     * @template A
      */
     public function run(Closure $callable, array $args = []): mixed;
 

tests/MockPool.php

@@ -5,8 +5,12 @@
 namespace ReactParallel\Tests\Contracts;
 
 use Closure;
+use ReactParallel\Contracts\PoolInterface;
 use WyriHaximus\PoolInfo\PoolInfoInterface;
 
+/**
+ * @phpstan-implements PoolInterface
+ */
 final class MockPool implements PoolInfoInterface
 {
     /** @return iterable<string, int> */
@@ -15,14 +19,6 @@ public function info(): iterable
         yield from [];
     }
 
-    /**
-     * @param (Closure():T) $callable
-     * @param array<mixed>  $args
-     *
-     * @return T
-     *
-     * @template T
-     */
     public function run(Closure $callable, array $args = []): mixed
     {
         return $callable(...$args);

tests/Types.php

@@ -2,10 +2,12 @@
 
 declare(strict_types=1);
 
+use ReactParallel\Contracts\PoolInterface;
 use ReactParallel\Tests\Contracts\MockPool;
 
 use function PHPStan\Testing\assertType;
 
+/** @var PoolInterface $pool */
 $pool = new MockPool();
 
 assertType('bool', $pool->run(static function (): bool {
@@ -15,3 +17,11 @@
 assertType('bool|int', $pool->run(static function (): bool|int {
     return time() % 2 !== 0 ? true : time();
 }));
+
+assertType('bool|int', $pool->run(static function (int $mod): bool|int {
+    return time() % $mod !== 0 ? true : time();
+}, [2]));
+
+assertType('bool|int', $pool->run(static function (int $mod, bool $yolo): bool|int {
+    return time() % $mod !== 0 ? $yolo : time();
+}, [2, true]));