phpstan level 9

opencode (opus 4.5)

Author: dominikzogg

README.md

@@ -37,7 +37,7 @@ A minimal, highly [performant][1] middleware [PSR-15][8] microframework built wi
 ## Requirements
 
  * php: ^8.3
- * [chubbyphp/chubbyphp-http-exception][20]: ^1.2
+ * [chubbyphp/chubbyphp-http-exception][20]: ^1.3.1
  * [psr/container][21]: ^1.1.2|^2.0.2
  * [psr/http-factory-implementation][22]: ^1.0
  * [psr/http-factory][23]: ^1.1

composer.json

@@ -23,7 +23,7 @@
     ],
     "require": {
         "php": "^8.3",
-        "chubbyphp/chubbyphp-http-exception": "^1.2",
+        "chubbyphp/chubbyphp-http-exception": "^1.3.1",
         "psr/container": "^1.1.2|^2.0.2",
         "psr/http-factory-implementation": "^1.0",
         "psr/http-factory": "^1.1",
@@ -80,7 +80,7 @@
         "test:infection": "vendor/bin/infection --threads=$(nproc) --min-msi=100 --verbose --coverage=build/phpunit",
         "test:integration": "vendor/bin/phpunit --testsuite=Integration --cache-directory=build/phpunit",
         "test:lint": "mkdir -p build && find src tests -name '*.php' -print0 | xargs -0 -n1 -P$(nproc) php -l | tee build/phplint.log",
-        "test:static-analysis": "mkdir -p build && bash -c 'vendor/bin/phpstan analyse src --no-progress --level=8 --error-format=junit | tee build/phpstan.junit.xml; if [ ${PIPESTATUS[0]} -ne \"0\" ]; then exit 1; fi'",
+        "test:static-analysis": "mkdir -p build && bash -c 'vendor/bin/phpstan analyse src --no-progress --level=9 --error-format=junit | tee build/phpstan.junit.xml; if [ ${PIPESTATUS[0]} -ne \"0\" ]; then exit 1; fi'",
         "test:unit": "vendor/bin/phpunit --testsuite=Unit --coverage-text --coverage-clover=build/phpunit/clover.xml --coverage-html=build/phpunit/coverage-html --coverage-xml=build/phpunit/coverage-xml --log-junit=build/phpunit/junit.xml --cache-directory=build/phpunit"
     }
 }

phpstan.neon

@@ -1,2 +1 @@
 parameters:
-    ignoreErrors: []

src/Middleware/ExceptionMiddleware.php

@@ -236,7 +236,7 @@ private function exceptionToHttpException(\Throwable $exception): HttpExceptionI
     }
 
     /**
-     * @return array<int, array<string, mixed>>
+     * @return array<int, array{class: string, message: string, code: int, file: string, line: int, trace: string}>
      */
     private function toExceptionsArray(\Throwable $exception): array
     {
@@ -256,7 +256,7 @@ private function toExceptionsArray(\Throwable $exception): array
     }
 
     /**
-     * @param array<array<string, string>> $exceptionsData
+     * @param array<int, array{class: string, message: string, code: int, file: string, line: int, trace: string}> $exceptionsData
      */
     private function addDebugToBody(array $exceptionsData): string
     {