Fix #13637: Array might not have offset, if array is deep #25687
Triggered via pull request
February 17, 2026 07:07
phpstan-bot
Status
Failure
Total duration
12m 49s
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 8 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/Type/ArrayType.php#L417
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
$this->itemType->isArray()->yes()
&& $valueType->isArray()->yes()
&& $this->itemType->getIterableValueType()->isConstantArray()->yes()
- && $valueType->getIterableValueType()->isConstantArray()->yes()
+ && !$valueType->getIterableValueType()->isConstantArray()->no()
) {
$newItemType = $this->itemType->setExistingOffsetValueType(
$valueType->getIterableKeyType(),
|
|
Mutation Testing (8.4, ubuntu-latest):
src/Type/ArrayType.php#L416
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
if (
$this->itemType->isArray()->yes()
&& $valueType->isArray()->yes()
- && $this->itemType->getIterableValueType()->isConstantArray()->yes()
+ && !$this->itemType->getIterableValueType()->isConstantArray()->no()
&& $valueType->getIterableValueType()->isConstantArray()->yes()
) {
$newItemType = $this->itemType->setExistingOffsetValueType(
|
|
Mutation Testing (8.4, ubuntu-latest):
src/Type/ArrayType.php#L415
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
if (
$this->itemType->isArray()->yes()
- && $valueType->isArray()->yes()
+ && !$valueType->isArray()->no()
&& $this->itemType->getIterableValueType()->isConstantArray()->yes()
&& $valueType->getIterableValueType()->isConstantArray()->yes()
) {
|
|
Mutation Testing (8.4, ubuntu-latest):
src/Type/ArrayType.php#L414
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
}
if (
- $this->itemType->isArray()->yes()
+ !$this->itemType->isArray()->no()
&& $valueType->isArray()->yes()
&& $this->itemType->getIterableValueType()->isConstantArray()->yes()
&& $valueType->getIterableValueType()->isConstantArray()->yes()
|
|
Mutation Testing (8.3, ubuntu-latest):
src/Type/ArrayType.php#L417
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
$this->itemType->isArray()->yes()
&& $valueType->isArray()->yes()
&& $this->itemType->getIterableValueType()->isConstantArray()->yes()
- && $valueType->getIterableValueType()->isConstantArray()->yes()
+ && !$valueType->getIterableValueType()->isConstantArray()->no()
) {
$newItemType = $this->itemType->setExistingOffsetValueType(
$valueType->getIterableKeyType(),
|
|
Mutation Testing (8.3, ubuntu-latest):
src/Type/ArrayType.php#L416
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
if (
$this->itemType->isArray()->yes()
&& $valueType->isArray()->yes()
- && $this->itemType->getIterableValueType()->isConstantArray()->yes()
+ && !$this->itemType->getIterableValueType()->isConstantArray()->no()
&& $valueType->getIterableValueType()->isConstantArray()->yes()
) {
$newItemType = $this->itemType->setExistingOffsetValueType(
|
|
Mutation Testing (8.3, ubuntu-latest):
src/Type/ArrayType.php#L415
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
if (
$this->itemType->isArray()->yes()
- && $valueType->isArray()->yes()
+ && !$valueType->isArray()->no()
&& $this->itemType->getIterableValueType()->isConstantArray()->yes()
&& $valueType->getIterableValueType()->isConstantArray()->yes()
) {
|
|
Mutation Testing (8.3, ubuntu-latest):
src/Type/ArrayType.php#L414
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
}
if (
- $this->itemType->isArray()->yes()
+ !$this->itemType->isArray()->no()
&& $valueType->isArray()->yes()
&& $this->itemType->getIterableValueType()->isConstantArray()->yes()
&& $valueType->getIterableValueType()->isConstantArray()->yes()
|