Fix isset() falsey branch not narrowing array type for dim fetches #25785
Triggered via pull request
February 19, 2026 00:11
VincentLanglet
Status
Failure
Total duration
13m 37s
Artifacts
–
tests.yml
on: pull_request
Matrix: Tests PHPUnit 12.x
Determine levels tests matrix
37s
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.4, ubuntu-latest)
Process completed with exit code 1.
|
|
Mutation Testing (8.3, ubuntu-latest)
Process completed with exit code 1.
|
|
Mutation Testing (8.4, ubuntu-latest):
src/Analyser/TypeSpecifier.php#L936
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
$typesToRemove = [];
foreach ($constantArrays as $constantArray) {
$hasOffset = $constantArray->hasOffsetValueType($dimType);
- if (!$hasOffset->yes() || !$constantArray->getOffsetValueType($dimType)->isNull()->no()) {
+ if (!$hasOffset->yes() || $constantArray->getOffsetValueType($dimType)->isNull()->yes()) {
continue;
}
|
|
Mutation Testing (8.4, ubuntu-latest):
src/Analyser/TypeSpecifier.php#L936
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
$typesToRemove = [];
foreach ($constantArrays as $constantArray) {
$hasOffset = $constantArray->hasOffsetValueType($dimType);
- if (!$hasOffset->yes() || !$constantArray->getOffsetValueType($dimType)->isNull()->no()) {
+ if ($hasOffset->no() || !$constantArray->getOffsetValueType($dimType)->isNull()->no()) {
continue;
}
|
|
Mutation Testing (8.3, ubuntu-latest):
src/Analyser/TypeSpecifier.php#L936
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
$typesToRemove = [];
foreach ($constantArrays as $constantArray) {
$hasOffset = $constantArray->hasOffsetValueType($dimType);
- if (!$hasOffset->yes() || !$constantArray->getOffsetValueType($dimType)->isNull()->no()) {
+ if (!$hasOffset->yes() || $constantArray->getOffsetValueType($dimType)->isNull()->yes()) {
continue;
}
|
|
Mutation Testing (8.3, ubuntu-latest):
src/Analyser/TypeSpecifier.php#L936
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
$typesToRemove = [];
foreach ($constantArrays as $constantArray) {
$hasOffset = $constantArray->hasOffsetValueType($dimType);
- if (!$hasOffset->yes() || !$constantArray->getOffsetValueType($dimType)->isNull()->no()) {
+ if ($hasOffset->no() || !$constantArray->getOffsetValueType($dimType)->isNull()->no()) {
continue;
}
|