add Type::isNever and Type::isExplicitNever methods #23702
Annotations
1 error and 11 warnings
|
Run infection
Process completed with exit code 1.
|
|
Run infection:
src/Analyser/NodeScopeResolver.php#L3939
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
$finalScope = $ifTrueScope;
} elseif ($condType->isFalse()->yes()) {
$finalScope = $ifFalseScope;
- } else if ($ifTrueType !== null && $ifTrueType->isExplicitNever()->yes()) {
+ } else if ($ifTrueType !== null && !$ifTrueType->isExplicitNever()->no()) {
$finalScope = $ifFalseScope;
} else {
$ifFalseType = $ifFalseScope->getType($expr->else);
|
|
Run infection:
src/Analyser/NodeScopeResolver.php#L3501
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
$rightScope = $scope->filterByFalseyValue($expr);
$rightResult = $this->processExprNode($stmt, $expr->right, $rightScope, $nodeCallback, $context->enterDeep());
$rightExprType = $scope->getType($expr->right);
- if ($rightExprType->isExplicitNever()->yes()) {
+ if (!$rightExprType->isExplicitNever()->no()) {
$scope = $scope->filterByTruthyValue(new Expr\Isset_([$expr->left]));
} else {
$scope = $scope->filterByTruthyValue(new Expr\Isset_([$expr->left]))->mergeWith($rightResult->getScope());
|
|
Run infection:
src/Analyser/NodeScopeResolver.php#L3474
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
$leftResult = $this->processExprNode($stmt, $expr->left, $scope, $nodeCallback, $context->enterDeep());
$rightResult = $this->processExprNode($stmt, $expr->right, $leftResult->getFalseyScope(), $nodeCallback, $context);
$rightExprType = $rightResult->getScope()->getType($expr->right);
- if ($rightExprType->isExplicitNever()->yes()) {
+ if (!$rightExprType->isExplicitNever()->no()) {
$leftMergedWithRightScope = $leftResult->getTruthyScope();
} else {
$leftMergedWithRightScope = $leftResult->getScope()->mergeWith($rightResult->getScope());
|
|
Run infection:
src/Analyser/NodeScopeResolver.php#L3453
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
$leftResult = $this->processExprNode($stmt, $expr->left, $scope, $nodeCallback, $context->enterDeep());
$rightResult = $this->processExprNode($stmt, $expr->right, $leftResult->getTruthyScope(), $nodeCallback, $context);
$rightExprType = $rightResult->getScope()->getType($expr->right);
- if ($rightExprType->isExplicitNever()->yes()) {
+ if (!$rightExprType->isExplicitNever()->no()) {
$leftMergedWithRightScope = $leftResult->getFalseyScope();
} else {
$leftMergedWithRightScope = $leftResult->getScope()->mergeWith($rightResult->getScope());
|
|
Run infection:
src/Analyser/NodeScopeResolver.php#L3227
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
if ($parametersAcceptor !== null) {
$expr = ArgumentsNormalizer::reorderStaticCallArguments($parametersAcceptor, $expr) ?? $expr;
$returnType = $parametersAcceptor->getReturnType();
- $isAlwaysTerminating = $returnType->isExplicitNever()->yes();
+ $isAlwaysTerminating = !$returnType->isExplicitNever()->no();
}
$result = $this->processArgs($stmt, $methodReflection, null, $parametersAcceptor, $expr, $scope, $nodeCallback, $context, $closureBindScope ?? null);
$scope = $result->getScope();
|
|
Run infection:
src/Analyser/NodeScopeResolver.php#L3035
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
if ($parametersAcceptor !== null) {
$expr = ArgumentsNormalizer::reorderMethodArguments($parametersAcceptor, $expr) ?? $expr;
$returnType = $parametersAcceptor->getReturnType();
- $isAlwaysTerminating = $returnType->isExplicitNever()->yes();
+ $isAlwaysTerminating = !$returnType->isExplicitNever()->no();
}
$result = $this->processArgs($stmt, $methodReflection, $methodReflection !== null ? $scope->getNakedMethod($calledOnType, $methodReflection->getName()) : null, $parametersAcceptor, $expr, $scope, $nodeCallback, $context);
$scope = $result->getScope();
|
|
Run infection:
src/Analyser/NodeScopeResolver.php#L2712
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
if ($parametersAcceptor !== null) {
$expr = ArgumentsNormalizer::reorderFuncArguments($parametersAcceptor, $expr) ?? $expr;
$returnType = $parametersAcceptor->getReturnType();
- $isAlwaysTerminating = $isAlwaysTerminating || $returnType->isExplicitNever()->yes();
+ $isAlwaysTerminating = $isAlwaysTerminating || !$returnType->isExplicitNever()->no();
}
if ($expr->name instanceof Name && $functionReflection !== null && $functionReflection->getName() === 'clone' && count($expr->getArgs()) === 2) {
$clonePropertiesArgType = $scope->getType($expr->getArgs()[1]->value);
|
|
Run infection:
src/Analyser/NodeScopeResolver.php#L2492
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
return $expr;
}
$exprType = $scope->getType($expr);
- if ($exprType->isExplicitNever()->yes()) {
+ if (!$exprType->isExplicitNever()->no()) {
return $expr;
}
return null;
|
|
Run infection:
src/Analyser/NodeScopeResolver.php#L1896
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
$newThrowPoints = [];
foreach ($throwPoints as $throwPoint) {
$newThrowPoint = $throwPoint->subtractCatchType($originalCatchType);
- if (!$newThrowPoint->getType()->isNever()->no()) {
+ if ($newThrowPoint->getType()->isNever()->yes()) {
continue;
}
$newThrowPoints[] = $newThrowPoint;
|
|
Run infection:
src/Analyser/NodeScopeResolver.php#L1751
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
$prevScope = $branchScope;
}
}
- $exhaustive = $scopeForBranches->getType($stmt->cond)->isNever()->yes();
+ $exhaustive = !$scopeForBranches->getType($stmt->cond)->isNever()->no();
if (!$hasDefaultCase && !$exhaustive) {
$alwaysTerminating = false;
}
|
|
Run /./build-infection/.github/actions/setup-php
Unexpected input(s) 'extensions', valid inputs are ['php-version', 'php-extensions', 'build-infection-path']
|
Loading