fix static analysis build

Signed-off-by: azjezz <[email protected]>
azjezz · Aug 12, 2021 · 3d4b50f · 3d4b50f
1 parent 4895e61
commit 3d4b50f
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 3 deletions.
diff --git a/src/Psl/RandomSequence/Internal/MersenneTwisterTrait.php b/src/Psl/RandomSequence/Internal/MersenneTwisterTrait.php
@@ -10,7 +10,7 @@
 trait MersenneTwisterTrait
 {
     /**
-     * @var array<int, int>
+     * @var non-empty-array<int, int>
      */
     private array $state;
 
@@ -50,8 +50,10 @@ final public function next(): int
                 $state[$i] = $this->twist($state[$i + 397], $state[$i], $state[$i + 1]);
             }
             for (; $i < 623; $i++) {
+                /** @psalm-suppress PossiblyInvalidArrayOffset */
                 $state[$i] = $this->twist($state[$i - 227], $state[$i], $state[$i + 1]);
             }
+            /** @psalm-suppress InvalidArrayOffset */
             $state[623] = $this->twist($state[396], $state[623], $state[0]);
             $this->state = $state;
 

diff --git a/src/Psl/Regex/every_match.php b/src/Psl/Regex/every_match.php
@@ -45,6 +45,7 @@ static function () use ($subject, $pattern, $offset): ?array {
     $capture_groups ??= Type\dict(Type\array_key(), Type\string());
 
     try {
+        /** @psalm-suppress InvalidArgument  */
         return Type\vec($capture_groups)->coerce($matching);
     } catch (InvariantViolationException | Type\Exception\CoercionException $e) {
         throw new Exception\RuntimeException('Invalid capture groups', 0, $e);

diff --git a/src/Psl/Type/Type.php b/src/Psl/Type/Type.php
@@ -8,7 +8,7 @@
 use Psl\Type\Exception\TypeTrace;
 
 /**
- * @template T
+ * @template-covariant T
  *
  * @implements TypeInterface<T>
  */

diff --git a/src/Psl/Type/TypeInterface.php b/src/Psl/Type/TypeInterface.php
@@ -9,7 +9,7 @@
 use Psl\Type\Exception\TypeTrace;
 
 /**
- * @template T
+ * @template-covariant T
  */
 interface TypeInterface
 {