Skip to content

count(non-empty-array, COUNT_RECURSIVE) is int<1, max> #23703

count(non-empty-array, COUNT_RECURSIVE) is int<1, max>

count(non-empty-array, COUNT_RECURSIVE) is int<1, max> #23703

Triggered via pull request November 11, 2025 14:12
@staabmstaabm
synchronize #4515
staabm:recurs
Status Failure
Total duration 17m 55s
Artifacts

tests.yml

on: pull_request
Matrix: Tests
Determine levels tests matrix
40s
Determine levels tests matrix
Matrix: Integration tests
Matrix: Tests with old PHPUnit
Matrix: Mutation Testing
Matrix: Levels tests
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 6 warnings
Integration tests (windows-latest)
Process completed with exit code 1.
Mutation Testing (8.2, ubuntu-latest)
Process completed with exit code 1.
Mutation Testing (8.4, ubuntu-latest)
Process completed with exit code 1.
Mutation Testing (8.3, ubuntu-latest)
Process completed with exit code 1.
Mutation Testing (8.2, ubuntu-latest): src/Type/Php/CountFunctionReturnTypeExtension.php#L55
Escaped Mutant for Mutator "PHPStan\Infection\IsSuperTypeOfCalleeAndArgumentMutator": @@ @@ $isNormalCount = TrinaryLogic::createYes(); } else { $mode = $scope->getType($countFuncCall->getArgs()[1]->value); - $isNormalCount = (new ConstantIntegerType(COUNT_NORMAL))->isSuperTypeOf($mode)->result->or($countedType->getIterableValueType()->isArray()->negate()); + $isNormalCount = $mode->isSuperTypeOf(new ConstantIntegerType(COUNT_NORMAL))->result->or($countedType->getIterableValueType()->isArray()->negate()); } return $isNormalCount; } }
Mutation Testing (8.2, ubuntu-latest)
Unexpected input(s) 'extensions', valid inputs are ['php-version', 'php-extensions', 'build-infection-path']
Mutation Testing (8.4, ubuntu-latest): src/Type/Php/CountFunctionReturnTypeExtension.php#L55
Escaped Mutant for Mutator "PHPStan\Infection\IsSuperTypeOfCalleeAndArgumentMutator": @@ @@ $isNormalCount = TrinaryLogic::createYes(); } else { $mode = $scope->getType($countFuncCall->getArgs()[1]->value); - $isNormalCount = (new ConstantIntegerType(COUNT_NORMAL))->isSuperTypeOf($mode)->result->or($countedType->getIterableValueType()->isArray()->negate()); + $isNormalCount = $mode->isSuperTypeOf(new ConstantIntegerType(COUNT_NORMAL))->result->or($countedType->getIterableValueType()->isArray()->negate()); } return $isNormalCount; } }
Mutation Testing (8.4, ubuntu-latest)
Unexpected input(s) 'extensions', valid inputs are ['php-version', 'php-extensions', 'build-infection-path']
Mutation Testing (8.3, ubuntu-latest): src/Type/Php/CountFunctionReturnTypeExtension.php#L55
Escaped Mutant for Mutator "PHPStan\Infection\IsSuperTypeOfCalleeAndArgumentMutator": @@ @@ $isNormalCount = TrinaryLogic::createYes(); } else { $mode = $scope->getType($countFuncCall->getArgs()[1]->value); - $isNormalCount = (new ConstantIntegerType(COUNT_NORMAL))->isSuperTypeOf($mode)->result->or($countedType->getIterableValueType()->isArray()->negate()); + $isNormalCount = $mode->isSuperTypeOf(new ConstantIntegerType(COUNT_NORMAL))->result->or($countedType->getIterableValueType()->isArray()->negate()); } return $isNormalCount; } }
Mutation Testing (8.3, ubuntu-latest)
Unexpected input(s) 'extensions', valid inputs are ['php-version', 'php-extensions', 'build-infection-path']