Enable more PHPStan's extra strictness (#187)

shipmonk-rnd · Dec 12, 2023 · deaf0c6 · deaf0c6
1 parent 6ff99cc
commit deaf0c6
Show file tree

Hide file tree

Showing 5 changed files with 15 additions and 9 deletions.
diff --git a/phpstan.neon.dist b/phpstan.neon.dist
@@ -16,6 +16,8 @@ parameters:
     tmpDir: cache/phpstan/
     checkMissingCallableSignature: true
     checkUninitializedProperties: true
+    checkBenevolentUnionTypes: true
+    checkImplicitMixed: true
     checkTooWideReturnTypesInProtectedAndPublicMethods: true
     exceptions:
         check:
@@ -34,6 +36,8 @@ parameters:
                 PHPStan\Rules\Rule: Rule
                 PhpParser\NodeVisitor: Visitor
                 ShipMonk\PHPStan\RuleTestCase: RuleTest
+        forbidAssignmentNotMatchingVarDoc:
+            enabled: false # native check is better now; this rule will be dropped / reworked in 3.0
 
     ignoreErrors:
         -

diff --git a/src/Rule/ForbidCheckedExceptionInCallableRule.php b/src/Rule/ForbidCheckedExceptionInCallableRule.php
@@ -67,14 +67,14 @@ public function __construct(
         array $allowedCheckedExceptionCallables
     )
     {
+        /** @var array<string, int|list<int>> $callablesWithAllowedCheckedExceptions */
+        $callablesWithAllowedCheckedExceptions = array_merge_recursive($immediatelyCalledCallables, $allowedCheckedExceptionCallables);
+
         $this->callablesAllowingCheckedExceptions = array_map(
             function ($argumentIndexes): array {
                 return $this->normalizeArgumentIndexes($argumentIndexes);
             },
-            array_merge_recursive(
-                $immediatelyCalledCallables,
-                $allowedCheckedExceptionCallables,
-            ),
+            $callablesWithAllowedCheckedExceptions,
         );
         $this->exceptionTypeResolver = $exceptionTypeResolver;
         $this->reflectionProvider = $reflectionProvider;

diff --git a/src/Rule/ForbidUnusedMatchResultRule.php b/src/Rule/ForbidUnusedMatchResultRule.php
@@ -10,6 +10,7 @@
 use PHPStan\Rules\RuleError;
 use PHPStan\Rules\RuleErrorBuilder;
 use PHPStan\Type\NeverType;
+use PHPStan\Type\Type;
 use PHPStan\Type\TypeCombinator;
 use PHPStan\Type\VerbosityLevel;
 use ShipMonk\PHPStan\Visitor\UnusedMatchVisitor;
@@ -35,11 +36,10 @@ public function processNode(Node $node, Scope $scope): array
         $returnedTypes = [];
 
         foreach ($node->arms as $arm) {
-            if (method_exists($scope, 'getKeepVoidType')) { // Needed since https://github.com/phpstan/phpstan/releases/tag/1.10.49
-                $armType = $scope->getKeepVoidType($arm->body);
-            } else {
-                $armType = $scope->getType($arm->body);
-            }
+            /** @var Type $armType */
+            $armType = method_exists($scope, 'getKeepVoidType') // Needed since https://github.com/phpstan/phpstan/releases/tag/1.10.49, can be dropped once we bump PHPStan version gte that
+                ? $scope->getKeepVoidType($arm->body)
+                : $scope->getType($arm->body);
 
             if (!$armType->isVoid()->yes() && !$armType instanceof NeverType && !$arm->body instanceof Assign) {
                 $returnedTypes[] = $armType;

diff --git a/src/Visitor/ImmediatelyCalledCallableVisitor.php b/src/Visitor/ImmediatelyCalledCallableVisitor.php
@@ -52,6 +52,7 @@ public function __construct(
         array $allowedCheckedExceptionCallables = []
     )
     {
+        /** @var array<string, int|list<int>> $callablesWithAllowedCheckedExceptions */
         $callablesWithAllowedCheckedExceptions = array_merge_recursive($immediatelyCalledCallables, $allowedCheckedExceptionCallables);
 
         foreach ($callablesWithAllowedCheckedExceptions as $call => $arguments) {

diff --git a/tests/RuleTestCase.php b/tests/RuleTestCase.php
@@ -40,6 +40,7 @@ private function parseExpectedErrors(string $file): array
 
         foreach ($fileDataLines as $line => $row) {
             $matches = [];
+            /** @var array{0: list<string>, 1: list<string>} $matches */
             $matched = preg_match_all('#// error:(.+)#', $row, $matches);
 
             if ($matched === false) {