[2.x] Type Callable arguments

Author: WyriHaximus

composer.lock

@@ -10,12 +10,17 @@
 interface PoolInterface extends PoolInfoInterface
 {
     /**
-     * @param (Closure():T) $callable
-     * @param array<mixed>  $args
+     * @param (Closure():T)|(Closure(A1):T)|(Closure(A1,A2):T)|(Closure(A1,A2,A3):T)|(Closure(A1,A2,A3,A4):T)|(Closure(A1,A2,A3,A4,A5):T) $callable
+     * @param array{}|array{A1}|array{A1,A2}|array{A1,A2,A3}|array{A1,A2,A3,A4}|array{A1,A2,A3,A4,A5}                                     $args
      *
      * @return T
      *
      * @template T
+     * @template A1 (any number of function arguments, see https://github.com/phpstan/phpstan/issues/8214)
+     * @template A2
+     * @template A3
+     * @template A4
+     * @template A5
      */
     public function run(Closure $callable, array $args = []): mixed;
 

src/PoolInterface.php

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

tests/MockPool.php

@@ -8,10 +8,22 @@
 
 $pool = new MockPool();
 
-assertType('bool', $pool->run(static function (): bool {
+assertType('true', $pool->run(static function (): bool {
     return true;
 }));
 
-assertType('bool|int', $pool->run(static function (): bool|int {
+assertType('int<1, max>|true', $pool->run(static function (): bool|int {
     return time() % 2 !== 0 ? true : time();
 }));
+
+assertType('int<1, max>|true', $pool->run(static function (int $mod): bool|int {
+    return time() % $mod !== 0 ? true : time();
+}, [2]));
+
+assertType('bool|int<1, max>', $pool->run(static function (int $mod, bool $yolo): bool|int {
+    return time() % $mod !== 0 ? $yolo : time();
+}, [2, (time() % 13 !== 0)]));
+
+assertType('bool|non-empty-string', $pool->run(static function (int $mod, bool $yolo, string $oloy): bool|string {
+    return time() % $mod !== 0 ? $yolo : $oloy;
+}, [2, (time() % 13 !== 0), bin2hex(random_bytes(13))]));