Fix phpstan/phpstan#13669: Offset -1|0|1|2 might not exist on non-empty-array<-1|0|1|2, int>. #25958
Triggered via pull request
February 22, 2026 22:13
phpstan-bot
Status
Failure
Total duration
12m 52s
Artifacts
–
tests.yml
on: pull_request
Matrix: Tests PHPUnit 12.x
Determine levels tests matrix
36s
Matrix: Integration tests
Matrix: Tests PHPUnit 11.x
Matrix: Tests with old PHPUnit
Matrix: Mutation Testing
Matrix: Levels tests
Annotations
2 errors and 4 warnings
|
Mutation Testing (8.3, 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):
src/Analyser/NodeScopeResolver.php#L6834
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
$scopeType = $scope->getType($dimFetch);
$childOffset = $scope->getType($nextDimFetch->dim);
- if (!$scopeType->hasOffsetValueType($childOffset)->yes()) {
+ if ($scopeType->hasOffsetValueType($childOffset)->no()) {
break;
}
|
|
Mutation Testing (8.3, ubuntu-latest):
src/Analyser/NodeScopeResolver.php#L6827
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
}
$nextDimFetch = $dimFetchStack[$key + 1];
- if ($nextDimFetch->dim === null || !$scope->hasExpressionType($dimFetch)->yes()) {
+ if ($nextDimFetch->dim === null || $scope->hasExpressionType($dimFetch)->no()) {
break;
}
|
|
Mutation Testing (8.4, ubuntu-latest):
src/Analyser/NodeScopeResolver.php#L6834
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
$scopeType = $scope->getType($dimFetch);
$childOffset = $scope->getType($nextDimFetch->dim);
- if (!$scopeType->hasOffsetValueType($childOffset)->yes()) {
+ if ($scopeType->hasOffsetValueType($childOffset)->no()) {
break;
}
|
|
Mutation Testing (8.4, ubuntu-latest):
src/Analyser/NodeScopeResolver.php#L6827
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
}
$nextDimFetch = $dimFetchStack[$key + 1];
- if ($nextDimFetch->dim === null || !$scope->hasExpressionType($dimFetch)->yes()) {
+ if ($nextDimFetch->dim === null || $scope->hasExpressionType($dimFetch)->no()) {
break;
}
|