Upgrade psalm

amphp · Aug 18, 2023 · 39f849d · 39f849d
1 parent 9244691
commit 39f849d
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/composer.json b/composer.json
@@ -43,7 +43,7 @@
         "phpunit/phpunit": "^9",
         "amphp/php-cs-fixer-config": "^2",
         "league/uri": "^6",
-        "psalm/phar": "^4.23"
+        "psalm/phar": "^5"
     },
     "suggest": {
         "amphp/redis": "Allows storing session data in Redis"

diff --git a/src/Base64UrlSessionIdGenerator.php b/src/Base64UrlSessionIdGenerator.php
@@ -6,7 +6,9 @@
 
 final class Base64UrlSessionIdGenerator implements SessionIdGenerator
 {
+    /** @var non-empty-string */
     private readonly string $regex;
+    /** @var positive-int */
     private readonly int $bytes;
 
     public function __construct(int $length = 48)
@@ -16,7 +18,7 @@ public function __construct(int $length = 48)
         }
 
         // divisible by four to not waste chars with "=" and simplify regexp.
-        $this->bytes = $length / 4 * 3;
+        $this->bytes = (int) ($length / 4 * 3);
         $this->regex = '/^[A-Za-z0-9_\-]{' . $length . '}$/';
 
         if ($this->bytes < 16) {