NotEqualHandler

Author: ondrejmirtes

src/Analyser/Generator/ExprHandler/NotEqualHandler.php

@@ -0,0 +1,51 @@
+<?php declare(strict_types = 1);
+
+namespace PHPStan\Analyser\Generator\ExprHandler;
+
+use Generator;
+use PhpParser\Node\Expr;
+use PhpParser\Node\Expr\BinaryOp\Equal;
+use PhpParser\Node\Expr\BinaryOp\NotEqual;
+use PhpParser\Node\Expr\BooleanNot;
+use PhpParser\Node\Stmt;
+use PHPStan\Analyser\ExpressionContext;
+use PHPStan\Analyser\Generator\ExprAnalysisRequest;
+use PHPStan\Analyser\Generator\ExprAnalysisResult;
+use PHPStan\Analyser\Generator\ExprHandler;
+use PHPStan\Analyser\Generator\GeneratorScope;
+use PHPStan\Analyser\SpecifiedTypes;
+use PHPStan\DependencyInjection\AutowiredService;
+
+/**
+ * @implements ExprHandler<NotEqual>
+ */
+#[AutowiredService]
+final class NotEqualHandler implements ExprHandler
+{
+
+	public function supports(Expr $expr): bool
+	{
+		return $expr instanceof NotEqual;
+	}
+
+	public function analyseExpr(Stmt $stmt, Expr $expr, GeneratorScope $scope, ExpressionContext $context, ?callable $alternativeNodeCallback): Generator
+	{
+		$leftResult = yield new ExprAnalysisRequest($stmt, $expr->left, $scope, $context->enterDeep(), $alternativeNodeCallback);
+		$rightResult = yield new ExprAnalysisRequest($stmt, $expr->right, $leftResult->scope, $context->enterDeep(), $alternativeNodeCallback);
+		$booleanNotResult = yield ExprAnalysisRequest::createNoopRequest(new BooleanNot(new Equal($expr->left, $expr->right)), $scope);
+
+		return new ExprAnalysisResult(
+			$booleanNotResult->type,
+			$booleanNotResult->nativeType,
+			$rightResult->scope,
+			hasYield: $leftResult->hasYield || $rightResult->hasYield,
+			isAlwaysTerminating: $leftResult->isAlwaysTerminating || $rightResult->isAlwaysTerminating,
+			throwPoints: array_merge($leftResult->throwPoints, $rightResult->throwPoints),
+			impurePoints: array_merge($leftResult->impurePoints, $rightResult->impurePoints),
+			specifiedTruthyTypes: $booleanNotResult->specifiedTruthyTypes->setRootExpr($expr),
+			specifiedFalseyTypes: $booleanNotResult->specifiedFalseyTypes->setRootExpr($expr),
+			specifiedNullTypes: new SpecifiedTypes(),
+		);
+	}
+
+}

tests/PHPStan/Analyser/Generator/data/gnsr.php

@@ -542,6 +542,16 @@ function (mixed $m) {
 	assertType('mixed', $m);
 };
 
+function (mixed $m) {
+	if ($m != 0) {
+		assertType("mixed~(0|0.0|'0'|false|null)", $m);
+	} else {
+		assertType('0|0.0|string|false|null', $m);
+	}
+
+	assertType('mixed', $m);
+};
+
 function (mixed $m) {
 	if ($m == '') {
 		assertType("0|0.0|''|false|null", $m);
@@ -572,6 +582,16 @@ function (array $a): void {
 	assertType("array", $a);
 };
 
+function (array $a): void {
+	if ($a != []) {
+		assertType("non-empty-array", $a);
+	} else {
+		assertType("array{}", $a);
+	}
+
+	assertType("array", $a);
+};
+
 function (bool $b): void {
 	assertType('true', !false);
 	assertType('false', !true);