diff --git a/composer.json b/composer.json index 176ce47..a719094 100644 --- a/composer.json +++ b/composer.json @@ -30,7 +30,7 @@ }, "require-dev": { "phpunit/phpunit": "~9.0", - "vimeo/psalm": "~4.4", + "vimeo/psalm": "~5.15", "innmind/coding-standard": "~2.0" } } diff --git a/psalm.xml b/psalm.xml index 3240886..510148d 100644 --- a/psalm.xml +++ b/psalm.xml @@ -2,6 +2,8 @@ aggregate(static function(UserAgent|Allow|Disallow|CrawlDelay $a, $b) { if ($a instanceof UserAgent && $b instanceof UserAgent) { + /** @var Sequence */ return Sequence::of($a->merge($b)); }