Merge pull request #2 from PcComponentes/fix/infer-types-with-all

Improve type inference after all() assertions

Author: calmohallag

src/BeberleiAssert/AssertionChainTypeSpecifyingExtension.php

@@ -107,6 +107,15 @@ public function specifyTypes(
                     $nullOrMode,
                     'base64' !== $operation['name'],
                 );
+
+                if ($allMode) {
+                    // @phpstan-ignore phpstanApi.method
+                    $currentSpecifiedTypes = AssertHelper::handleAll(
+                        $this->typeSpecifier,
+                        $scope,
+                        $currentSpecifiedTypes,
+                    );
+                }
             } else {
                 if ($allMode && $this->isSupportedAllNotAssertion($operation['name'])) {
                     // @phpstan-ignore phpstanApi.method

src/BeberleiAssert/LazyAssertionVerifyNowTypeSpecifyingExtension.php

@@ -107,6 +107,15 @@ public function specifyTypes(
                     $nullOrMode,
                     'base64' !== $operation['name'],
                 );
+
+                if ($allMode) {
+                    // @phpstan-ignore phpstanApi.method
+                    $currentSpecifiedTypes = AssertHelper::handleAll(
+                        $this->typeSpecifier,
+                        $scope,
+                        $currentSpecifiedTypes,
+                    );
+                }
             } elseif ($allMode && $this->isSupportedAllNotAssertion($operation['name'])) {
                 // @phpstan-ignore phpstanApi.method
                 $currentSpecifiedTypes = AssertHelper::handleAllNot(