fix psalm

albertnghiuleong · Jun 19, 2022 · 330c724 · 330c724
1 parent 4130739
commit 330c724
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/IO/Filter/Cipher/WinZipAes/WinZipAesEncryptionStreamFilter.php b/src/IO/Filter/Cipher/WinZipAes/WinZipAesEncryptionStreamFilter.php
@@ -89,6 +89,7 @@ public function filter($in, $out, &$consumed, $closing): int
                 if ($winZipExtra === null) {
                     throw new RuntimeException('$winZipExtra is null');
                 }
+                /** @psalm-var positive-int $saltSize */
                 $saltSize = $winZipExtra->getSaltSize();
 
                 try {