diff --git a/composer.json b/composer.json
index 4e5a750..d47de8b 100644
--- a/composer.json
+++ b/composer.json
@@ -12,8 +12,8 @@
     ],
     "require": {
         "php": "^8.3",
-        "vimeo/psalm": "^6.0@dev",
-        "nikic/php-parser": "^5.0"
+        "nikic/php-parser": "^5.0",
+        "vimeo/psalm": "^7.0@dev"
     },
     "require-dev": {
         "phpunit/phpunit": "^12.2",
diff --git a/src/Handler/ValidateThrowHandler.php b/src/Handler/ValidateThrowHandler.php
index fe8a6c0..f60e074 100644
--- a/src/Handler/ValidateThrowHandler.php
+++ b/src/Handler/ValidateThrowHandler.php
@@ -144,6 +144,7 @@ private static function resolveThrownClassNames(Node\Expr $expr, NodeTypeProvide
         return $names;
     }
 
+    /** @psalm-external-mutation-free */
     private static function extendsDomainException(string $fqcn, Codebase $codebase): bool
     {
         if ($fqcn === self::DOMAIN_EXCEPTION) {
diff --git a/src/Internal/ThrowCollectorVisitor.php b/src/Internal/ThrowCollectorVisitor.php
index 80dbf48..5a1208f 100644
--- a/src/Internal/ThrowCollectorVisitor.php
+++ b/src/Internal/ThrowCollectorVisitor.php
@@ -23,6 +23,7 @@ final class ThrowCollectorVisitor extends NodeVisitorAbstract
     /** @var list<Node\Expr\Throw_> */
     public array $throws = [];
 
+    /** @psalm-external-mutation-free */
     #[Override]
     public function enterNode(Node $node): int|null
     {