add Type::isError method #25855
Triggered via pull request
February 20, 2026 14:51
canvural
Status
Failure
Total duration
44m 48s
Artifacts
–
tests.yml
on: pull_request
Matrix: Tests PHPUnit 12.x
Determine levels tests matrix
35s
Matrix: Integration tests
Matrix: Tests PHPUnit 11.x
Matrix: Tests with old PHPUnit
Matrix: Mutation Testing
Matrix: Levels tests
Annotations
2 errors and 20 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/Reflection/InitializerExprTypeResolver.php#L1139
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
$leftNumberType = $leftTypeInner->toNumber();
$rightNumberType = $rightTypeInner->toNumber();
- if ($leftNumberType->isError()->yes() || $rightNumberType->isError()->yes()) {
+ if ($leftNumberType->isError()->yes() || !$rightNumberType->isError()->no()) {
return new ErrorType();
}
|
|
Mutation Testing (8.3, ubuntu-latest):
src/Reflection/InitializerExprTypeResolver.php#L1139
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
$leftNumberType = $leftTypeInner->toNumber();
$rightNumberType = $rightTypeInner->toNumber();
- if ($leftNumberType->isError()->yes() || $rightNumberType->isError()->yes()) {
+ if (!$leftNumberType->isError()->no() || $rightNumberType->isError()->yes()) {
return new ErrorType();
}
|
|
Mutation Testing (8.3, ubuntu-latest):
src/Reflection/InitializerExprTypeResolver.php#L1078
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
return new ErrorType();
}
- if (TypeCombinator::union($leftType->toNumber(), $rightType->toNumber())->isError()->yes()) {
+ if (!TypeCombinator::union($leftType->toNumber(), $rightType->toNumber())->isError()->no()) {
return new ErrorType();
}
|
|
Mutation Testing (8.3, ubuntu-latest):
src/Reflection/InitializerExprTypeResolver.php#L1023
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
$leftNumberType = $leftType->toNumber();
$rightNumberType = $rightType->toNumber();
- if ($leftNumberType->isError()->yes() || $rightNumberType->isError()->yes()) {
+ if ($leftNumberType->isError()->yes() || !$rightNumberType->isError()->no()) {
return new ErrorType();
}
|
|
Mutation Testing (8.3, ubuntu-latest):
src/Reflection/InitializerExprTypeResolver.php#L1023
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
$leftNumberType = $leftType->toNumber();
$rightNumberType = $rightType->toNumber();
- if ($leftNumberType->isError()->yes() || $rightNumberType->isError()->yes()) {
+ if (!$leftNumberType->isError()->no() || $rightNumberType->isError()->yes()) {
return new ErrorType();
}
|
|
Mutation Testing (8.3, ubuntu-latest):
src/Reflection/InitializerExprTypeResolver.php#L521
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
{
$leftStringType = $left->toString();
$rightStringType = $right->toString();
- if (TypeCombinator::union(
+ if (!TypeCombinator::union(
$leftStringType,
$rightStringType,
- )->isError()->yes()) {
+ )->isError()->no()) {
return new ErrorType();
}
|
|
Mutation Testing (8.3, ubuntu-latest):
src/Reflection/ClassReflection.php#L1669
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
if ($resolved !== null) {
$templateTypeMap = $this->getTemplateTypeMap();
return $this->activeTemplateTypeMap = $resolved->map(static function (string $name, Type $type) use ($templateTypeMap): Type {
- if ($type->isError()->yes()) {
+ if (!$type->isError()->no()) {
$templateType = $templateTypeMap->getType($name);
if ($templateType !== null) {
return TemplateTypeHelper::resolveToDefaults($templateType);
|
|
Mutation Testing (8.3, ubuntu-latest):
src/Analyser/Traverser/GenericTypeTemplateTraverser.php#L27
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
{
if ($type instanceof TemplateType && !$type->isArgument()) {
$newType = $this->resolvedTemplateTypeMap->getType($type->getName());
- if ($newType === null || $newType->isError()->yes()) {
+ if ($newType === null || !$newType->isError()->no()) {
return $type->getDefault() ?? $type->getBound();
}
|
|
Mutation Testing (8.3, ubuntu-latest):
src/Analyser/MutatingScope.php#L1334
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
} elseif ($node instanceof Expr\YieldFrom) {
$yieldFromType = $this->getType($node->expr);
$generatorReturnType = $yieldFromType->getTemplateType(Generator::class, 'TReturn');
- if ($generatorReturnType->isError()->yes()) {
+ if (!$generatorReturnType->isError()->no()) {
return new MixedType();
}
|
|
Mutation Testing (8.3, ubuntu-latest):
src/Analyser/MutatingScope.php#L1326
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
$returnType = $functionReflection->getReturnType();
$generatorSendType = $returnType->getTemplateType(Generator::class, 'TSend');
- if ($generatorSendType->isError()->yes()) {
+ if (!$generatorSendType->isError()->no()) {
return new MixedType();
}
|
|
Mutation Testing (8.4, ubuntu-latest):
src/Reflection/InitializerExprTypeResolver.php#L1139
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
$leftNumberType = $leftTypeInner->toNumber();
$rightNumberType = $rightTypeInner->toNumber();
- if ($leftNumberType->isError()->yes() || $rightNumberType->isError()->yes()) {
+ if ($leftNumberType->isError()->yes() || !$rightNumberType->isError()->no()) {
return new ErrorType();
}
|
|
Mutation Testing (8.4, ubuntu-latest):
src/Reflection/InitializerExprTypeResolver.php#L1139
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
$leftNumberType = $leftTypeInner->toNumber();
$rightNumberType = $rightTypeInner->toNumber();
- if ($leftNumberType->isError()->yes() || $rightNumberType->isError()->yes()) {
+ if (!$leftNumberType->isError()->no() || $rightNumberType->isError()->yes()) {
return new ErrorType();
}
|
|
Mutation Testing (8.4, ubuntu-latest):
src/Reflection/InitializerExprTypeResolver.php#L1078
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
return new ErrorType();
}
- if (TypeCombinator::union($leftType->toNumber(), $rightType->toNumber())->isError()->yes()) {
+ if (!TypeCombinator::union($leftType->toNumber(), $rightType->toNumber())->isError()->no()) {
return new ErrorType();
}
|
|
Mutation Testing (8.4, ubuntu-latest):
src/Reflection/InitializerExprTypeResolver.php#L1023
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
$leftNumberType = $leftType->toNumber();
$rightNumberType = $rightType->toNumber();
- if ($leftNumberType->isError()->yes() || $rightNumberType->isError()->yes()) {
+ if ($leftNumberType->isError()->yes() || !$rightNumberType->isError()->no()) {
return new ErrorType();
}
|
|
Mutation Testing (8.4, ubuntu-latest):
src/Reflection/InitializerExprTypeResolver.php#L1023
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
$leftNumberType = $leftType->toNumber();
$rightNumberType = $rightType->toNumber();
- if ($leftNumberType->isError()->yes() || $rightNumberType->isError()->yes()) {
+ if (!$leftNumberType->isError()->no() || $rightNumberType->isError()->yes()) {
return new ErrorType();
}
|
|
Mutation Testing (8.4, ubuntu-latest):
src/Reflection/InitializerExprTypeResolver.php#L521
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
{
$leftStringType = $left->toString();
$rightStringType = $right->toString();
- if (TypeCombinator::union(
+ if (!TypeCombinator::union(
$leftStringType,
$rightStringType,
- )->isError()->yes()) {
+ )->isError()->no()) {
return new ErrorType();
}
|
|
Mutation Testing (8.4, ubuntu-latest):
src/Reflection/ClassReflection.php#L1669
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
if ($resolved !== null) {
$templateTypeMap = $this->getTemplateTypeMap();
return $this->activeTemplateTypeMap = $resolved->map(static function (string $name, Type $type) use ($templateTypeMap): Type {
- if ($type->isError()->yes()) {
+ if (!$type->isError()->no()) {
$templateType = $templateTypeMap->getType($name);
if ($templateType !== null) {
return TemplateTypeHelper::resolveToDefaults($templateType);
|
|
Mutation Testing (8.4, ubuntu-latest):
src/Analyser/Traverser/GenericTypeTemplateTraverser.php#L27
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
{
if ($type instanceof TemplateType && !$type->isArgument()) {
$newType = $this->resolvedTemplateTypeMap->getType($type->getName());
- if ($newType === null || $newType->isError()->yes()) {
+ if ($newType === null || !$newType->isError()->no()) {
return $type->getDefault() ?? $type->getBound();
}
|
|
Mutation Testing (8.4, ubuntu-latest):
src/Analyser/MutatingScope.php#L1334
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
} elseif ($node instanceof Expr\YieldFrom) {
$yieldFromType = $this->getType($node->expr);
$generatorReturnType = $yieldFromType->getTemplateType(Generator::class, 'TReturn');
- if ($generatorReturnType->isError()->yes()) {
+ if (!$generatorReturnType->isError()->no()) {
return new MixedType();
}
|
|
Mutation Testing (8.4, ubuntu-latest):
src/Analyser/MutatingScope.php#L1326
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
$returnType = $functionReflection->getReturnType();
$generatorSendType = $returnType->getTemplateType(Generator::class, 'TSend');
- if ($generatorSendType->isError()->yes()) {
+ if (!$generatorSendType->isError()->no()) {
return new MixedType();
}
|