replace psalm with phpstan

.gitattributes

@@ -8,6 +8,6 @@
 /gen                   export-ignore
 /package.json          export-ignore
 /phpbench.json         export-ignore
+/phpstan.neon          export-ignore
 /phpunit.dist.xml      export-ignore
-/psalm.xml             export-ignore
 /yarn.lock             export-ignore

.github/workflows/ci.yml

@@ -88,18 +88,18 @@ jobs:
           key: composer-${{ hashFiles('composer.lock') }}
           restore-keys: composer-
 
-      - name: Psalm cache
+      - name: PHPStan cache
         uses: actions/cache@v4
         with:
-          path: .cache/psalm
-          key: psalm-${{ github.sha }}
-          restore-keys: psalm-
+          path: .cache/phpstan
+          key: phpstan-${{ github.sha }}
+          restore-keys: phpstan-
 
       - name: Install Composer dependencies
         run: composer update --${{ matrix.stability }}
 
-      - name: Run Psalm
-        run: vendor/bin/psalm --output-format=github --no-progress
+      - name: Run PHPStan
+        run: vendor/bin/phpstan analyze --no-progress --no-interaction
 
   style:
     name: Style

README.md

@@ -132,6 +132,6 @@ All resolver exceptions extend `ResolverException`. In strict mode they would be
 
 ```sh
 vendor/bin/phpunit           # Tests
-vendor/bin/psalm             # Static analysis
+vendor/bin/phpstan analyze   # Static analysis
 vendor/bin/php-cs-fixer fix  # Formatting
 ```

composer.json

@@ -37,13 +37,13 @@
         "jrmajor/cs": "^0.5.6",
         "jrmajor/exporter": "^0.1.0",
         "nunomaduro/collision": "^8.1",
-        "php-standard-library/psalm-plugin": "^2.3",
+        "php-standard-library/phpstan-extension": "^1.0",
         "phpbench/phpbench": "^1.2",
+        "phpstan/phpstan": "^1.10",
+        "phpstan/phpstan-phpunit": "^1.3",
         "phpunit/phpunit": "^10.5",
-        "psalm/plugin-phpunit": "^0.18.4",
         "symfony/console": "^7.0",
-        "symfony/var-dumper": "*",
-        "vimeo/psalm": "^5.22"
+        "symfony/var-dumper": "*"
     },
     "minimum-stability": "dev",
     "prefer-stable": true,