Skip to content

Fix phpstan/phpstan#13876: Covariance: Error reported on L6, but not L10 #26544

Fix phpstan/phpstan#13876: Covariance: Error reported on L6, but not L10

Fix phpstan/phpstan#13876: Covariance: Error reported on L6, but not L10 #26544

Triggered via pull request March 9, 2026 16:07
Status Failure
Total duration 14m 7s
Artifacts

tests.yml

on: pull_request
Matrix: Tests PHPUnit 12.x
Determine levels tests matrix
1m 7s
Determine levels tests matrix
Matrix: Integration tests
Matrix: Tests PHPUnit 11.x
Matrix: Tests with old PHPUnit
Matrix: Mutation Testing
Matrix: Levels tests
Fit to window
Zoom out
Zoom in

Annotations

10 errors and 4 warnings
Tests PHPUnit 11.x (8.2, ubuntu-latest)
Process completed with exit code 2.
Tests with old PHPUnit (8.0, ubuntu-latest)
Process completed with exit code 2.
Tests with old PHPUnit (8.1, ubuntu-latest)
Process completed with exit code 2.
Tests with old PHPUnit (7.4, ubuntu-latest)
Process completed with exit code 2.
Tests PHPUnit 11.x (8.2, windows-latest)
Process completed with exit code 1.
Tests with old PHPUnit (7.4, windows-latest)
Process completed with exit code 1.
Tests with old PHPUnit (8.0, windows-latest)
Process completed with exit code 1.
Tests with old PHPUnit (8.1, windows-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)
Process completed with exit code 1.
Determine levels tests matrix
Back off 23.174 seconds before retry.
Determine levels tests matrix
Failed to download action 'https://api.github.com/repos/ramsey/composer-install/tarball/3cf229dc2919194e9e36783941438d17239e8520'. Error: Response status code does not indicate success: 502 (Bad Gateway). 4081:158794:20597B5:8AD63B9:69AEF06A
Mutation Testing (8.3, ubuntu-latest): src/Type/Generic/GenericObjectType.php#L191
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator": @@ @@ $results[] = $thisVariance->isValidVariance($templateType, $this->types[$i], $ancestor->types[$i]); } else { $result = $templateType->isValidVariance($this->types[$i], $ancestor->types[$i]); - if ($acceptsContext && !$result->yes()) { + if ($acceptsContext && $result->no()) { $thisWithoutNull = TypeCombinator::removeNull($this->types[$i]); if ( $this->types[$i]->isSuperTypeOf($ancestor->types[$i])->yes()
Mutation Testing (8.4, ubuntu-latest): src/Type/Generic/GenericObjectType.php#L191
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator": @@ @@ $results[] = $thisVariance->isValidVariance($templateType, $this->types[$i], $ancestor->types[$i]); } else { $result = $templateType->isValidVariance($this->types[$i], $ancestor->types[$i]); - if ($acceptsContext && !$result->yes()) { + if ($acceptsContext && $result->no()) { $thisWithoutNull = TypeCombinator::removeNull($this->types[$i]); if ( $this->types[$i]->isSuperTypeOf($ancestor->types[$i])->yes()