From e7725953e5b1ba4adbbcf3f4381e686eaabd0ac9 Mon Sep 17 00:00:00 2001
From: Rafael Kassner <rafael@kassner.com.br>
Date: Tue, 12 Dec 2023 21:41:47 +0100
Subject: [PATCH] Update psalm to 5.17

---
 .phive/phars.xml  | 2 +-
 src/LogParser.php | 3 ++-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/.phive/phars.xml b/.phive/phars.xml
index 0f87d1c..aef87e4 100644
--- 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
index cadccd7..534d190 100644
--- 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);
         }