POC: Use SimultaneousTypeTraverser in RuleLevelHelper::transformAcceptedType #25506
Triggered via pull request
February 14, 2026 18:07
VincentLanglet
Status
Failure
Total duration
12m 51s
Artifacts
–
tests.yml
on: pull_request
Matrix: Tests PHPUnit 12.x
Determine levels tests matrix
34s
Matrix: Integration tests
Matrix: Tests PHPUnit 11.x
Matrix: Tests with old PHPUnit
Matrix: Mutation Testing
Matrix: Levels tests
Annotations
2 errors and 2 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/Type/IntersectionType.php#L1320
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
public function traverseSimultaneously(Type $right, callable $cb): Type
{
- if ($this->isArray()->yes() && !$right->isArray()->no()) {
+ if (!$this->isArray()->no() && !$right->isArray()->no()) {
$rightArray = $right->isArray()->maybe()
? TypeCombinator::intersect($right, new ArrayType(new MixedType(), new MixedType()))
: $right;
|
|
Mutation Testing (8.4, ubuntu-latest):
src/Type/IntersectionType.php#L1320
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
public function traverseSimultaneously(Type $right, callable $cb): Type
{
- if ($this->isArray()->yes() && !$right->isArray()->no()) {
+ if (!$this->isArray()->no() && !$right->isArray()->no()) {
$rightArray = $right->isArray()->maybe()
? TypeCombinator::intersect($right, new ArrayType(new MixedType(), new MixedType()))
: $right;
|