Update psalm to 5.17

kassner · Dec 12, 2023 · 2966220 · 2966220
1 parent 8159625
commit 2966220
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/.phive/phars.xml b/.phive/phars.xml
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <phive xmlns="https://phar.io/phive">
   <phar name="phpcpd" version="^6.0.3" installed="6.0.3" location="./tools/phpcpd" copy="false"/>
-  <phar name="psalm" version="^5.0.0-beta1" installed="5.0.0-beta1" location="./tools/psalm" copy="false"/>
+  <phar name="psalm" version="5.17" installed="5.17.0" location="./tools/psalm" copy="false"/>
   <phar name="php-cs-fixer" version="^3.11.0" installed="3.11.0" location="./tools/php-cs-fixer" copy="false"/>
   <phar name="phpmd" version="^2.13.0" installed="2.13.0" location="./tools/phpmd" copy="false"/>
   <phar name="phpunit" version="^9.5.24" installed="9.5.24" location="./tools/phpunit" copy="false"/>

diff --git a/src/LogParser.php b/src/LogParser.php
@@ -16,7 +16,7 @@ final class LogParser
     /** @var string */
     private $format;
 
-    /** @var string */
+    /** @var non-empty-string */
     private $pcreFormat;
 
     /** @var string[] */
@@ -95,6 +95,7 @@ private function updatePCREPattern(): void
         $expr = "#^{$this->format}$#";
 
         foreach ($this->patterns as $pattern => $replace) {
+            /** @var non-empty-string */
             $expr = preg_replace("/{$pattern}/", $replace, $expr);
         }