Use isSuperTypeOf() instead of equals() in Bound check #23708
Triggered via pull request
November 11, 2025 15:12
staabm
Status
Failure
Total duration
21m 46s
Artifacts
–
tests.yml
on: pull_request
Matrix: Tests
Determine levels tests matrix
32s
Matrix: Integration tests
Matrix: Tests with old PHPUnit
Matrix: Mutation Testing
Matrix: Levels tests
Annotations
4 errors and 9 warnings
|
Integration tests (windows-latest)
Process completed with exit code 1.
|
|
Mutation Testing (8.4, ubuntu-latest)
Process completed with exit code 1.
|
|
Mutation Testing (8.2, 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#L1567
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
TypeTraverser::map($assert->getOriginalType(), static function (Type $type, callable $traverse) use ($templateTypeMap, &$containsUnresolvedTemplate) {
if ($type instanceof TemplateType && $type->getScope()->getClassName() !== null) {
$resolvedType = $templateTypeMap->getType($type->getName());
- if ($resolvedType === null || $resolvedType->isSuperTypeOf($type->getBound())->yes()) {
+ if ($resolvedType === null || !$resolvedType->isSuperTypeOf($type->getBound())->no()) {
$containsUnresolvedTemplate = true;
return $type;
}
|
|
Mutation Testing (8.4, ubuntu-latest):
src/Analyser/TypeSpecifier.php#L1567
Escaped Mutant for Mutator "PHPStan\Infection\IsSuperTypeOfCalleeAndArgumentMutator":
@@ @@
TypeTraverser::map($assert->getOriginalType(), static function (Type $type, callable $traverse) use ($templateTypeMap, &$containsUnresolvedTemplate) {
if ($type instanceof TemplateType && $type->getScope()->getClassName() !== null) {
$resolvedType = $templateTypeMap->getType($type->getName());
- if ($resolvedType === null || $resolvedType->isSuperTypeOf($type->getBound())->yes()) {
+ if ($resolvedType === null || $type->getBound()->isSuperTypeOf($resolvedType)->yes()) {
$containsUnresolvedTemplate = true;
return $type;
}
|
|
Mutation Testing (8.4, ubuntu-latest)
Unexpected input(s) 'extensions', valid inputs are ['php-version', 'php-extensions', 'build-infection-path']
|
|
Mutation Testing (8.2, ubuntu-latest):
src/Analyser/TypeSpecifier.php#L1567
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
TypeTraverser::map($assert->getOriginalType(), static function (Type $type, callable $traverse) use ($templateTypeMap, &$containsUnresolvedTemplate) {
if ($type instanceof TemplateType && $type->getScope()->getClassName() !== null) {
$resolvedType = $templateTypeMap->getType($type->getName());
- if ($resolvedType === null || $resolvedType->isSuperTypeOf($type->getBound())->yes()) {
+ if ($resolvedType === null || !$resolvedType->isSuperTypeOf($type->getBound())->no()) {
$containsUnresolvedTemplate = true;
return $type;
}
|
|
Mutation Testing (8.2, ubuntu-latest):
src/Analyser/TypeSpecifier.php#L1567
Escaped Mutant for Mutator "PHPStan\Infection\IsSuperTypeOfCalleeAndArgumentMutator":
@@ @@
TypeTraverser::map($assert->getOriginalType(), static function (Type $type, callable $traverse) use ($templateTypeMap, &$containsUnresolvedTemplate) {
if ($type instanceof TemplateType && $type->getScope()->getClassName() !== null) {
$resolvedType = $templateTypeMap->getType($type->getName());
- if ($resolvedType === null || $resolvedType->isSuperTypeOf($type->getBound())->yes()) {
+ if ($resolvedType === null || $type->getBound()->isSuperTypeOf($resolvedType)->yes()) {
$containsUnresolvedTemplate = true;
return $type;
}
|
|
Mutation Testing (8.2, ubuntu-latest)
Unexpected input(s) 'extensions', valid inputs are ['php-version', 'php-extensions', 'build-infection-path']
|
|
Mutation Testing (8.3, ubuntu-latest):
src/Analyser/TypeSpecifier.php#L1567
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
TypeTraverser::map($assert->getOriginalType(), static function (Type $type, callable $traverse) use ($templateTypeMap, &$containsUnresolvedTemplate) {
if ($type instanceof TemplateType && $type->getScope()->getClassName() !== null) {
$resolvedType = $templateTypeMap->getType($type->getName());
- if ($resolvedType === null || $resolvedType->isSuperTypeOf($type->getBound())->yes()) {
+ if ($resolvedType === null || !$resolvedType->isSuperTypeOf($type->getBound())->no()) {
$containsUnresolvedTemplate = true;
return $type;
}
|
|
Mutation Testing (8.3, ubuntu-latest):
src/Analyser/TypeSpecifier.php#L1567
Escaped Mutant for Mutator "PHPStan\Infection\IsSuperTypeOfCalleeAndArgumentMutator":
@@ @@
TypeTraverser::map($assert->getOriginalType(), static function (Type $type, callable $traverse) use ($templateTypeMap, &$containsUnresolvedTemplate) {
if ($type instanceof TemplateType && $type->getScope()->getClassName() !== null) {
$resolvedType = $templateTypeMap->getType($type->getName());
- if ($resolvedType === null || $resolvedType->isSuperTypeOf($type->getBound())->yes()) {
+ if ($resolvedType === null || $type->getBound()->isSuperTypeOf($resolvedType)->yes()) {
$containsUnresolvedTemplate = true;
return $type;
}
|
|
Mutation Testing (8.3, ubuntu-latest)
Unexpected input(s) 'extensions', valid inputs are ['php-version', 'php-extensions', 'build-infection-path']
|