tests: improve

pinkary-project · Mar 30, 2024 · bfb637d · bfb637d
1 parent beb34a0
commit bfb637d
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 3 deletions.
diff --git a/src/Type.php b/src/Type.php
@@ -118,7 +118,7 @@ public function asNull(): null
      *
      * @phpstan-assert-if-true array $this->variable
      *
-     * @return array<mixed>
+     * @return (TVariable is array ? TVariable : never)
      */
     public function asArray(): array
     {

diff --git a/types/AsArrayTest.php b/types/AsArrayTest.php
@@ -4,5 +4,9 @@
 
 use function PHPStan\Testing\assertType;
 
-$variable = random_int(0, 1) !== 0 ? 'string' : [];
-assertType('array', type($variable)->asArray());
+/** @var array<int, int>|string $variable */
+$variable = random_int(0, 1) !== 0 ? 'string' : [1, 2];
+assertType('array<int, int>', type($variable)->asArray());
+
+$variable = random_int(0, 1) !== 0 ? 'string' : [1, 2];
+assertType('array{int, int}', type($variable)->asArray());