MatchExpressionRule - use ConstantConditionRuleHelper to remove some duplicate errors

Author: ondrejmirtes

src/Rules/Comparison/MatchExpressionRule.php

@@ -26,6 +26,7 @@ class MatchExpressionRule implements Rule
 {
 
 	public function __construct(
+		private ConstantConditionRuleHelper $constantConditionRuleHelper,
 		private bool $checkAlwaysTrueStrictComparison,
 		private bool $disableUnreachable,
 		private bool $reportAlwaysTrueInLastCondition,
@@ -41,6 +42,7 @@ public function getNodeType(): string
 	public function processNode(Node $node, Scope $scope): array
 	{
 		$matchCondition = $node->getCondition();
+		$matchConditionType = $scope->getType($matchCondition);
 		$nextArmIsDead = false;
 		$errors = [];
 		$armsCount = count($node->getArms());
@@ -67,6 +69,17 @@ public function processNode(Node $node, Scope $scope): array
 					continue;
 				}
 
+				if ($armConditionResult->getValue()) {
+					$nextArmIsDead = true;
+				}
+
+				if ($matchConditionType instanceof ConstantBooleanType) {
+					$armConditionStandaloneResult = $this->constantConditionRuleHelper->getBooleanType($armConditionScope, $armCondition->getCondition());
+					if (!$armConditionStandaloneResult instanceof ConstantBooleanType) {
+						continue;
+					}
+				}
+
 				$armLine = $armCondition->getLine();
 				if (!$armConditionResult->getValue()) {
 					$errors[] = RuleErrorBuilder::message(sprintf(
@@ -75,7 +88,6 @@ public function processNode(Node $node, Scope $scope): array
 						$armConditionScope->getType($armCondition->getCondition())->describe(VerbosityLevel::value()),
 					))->line($armLine)->build();
 				} else {
-					$nextArmIsDead = true;
 					if ($this->checkAlwaysTrueStrictComparison) {
 						if ($i === $armsCount - 1 && !$this->reportAlwaysTrueInLastCondition) {
 							continue;

tests/PHPStan/Rules/Comparison/MatchExpressionRuleTest.php

@@ -20,7 +20,22 @@ class MatchExpressionRuleTest extends RuleTestCase
 
 	protected function getRule(): Rule
 	{
-		return new MatchExpressionRule(true, $this->disableUnreachable, $this->reportAlwaysTrueInLastCondition);
+		return new MatchExpressionRule(
+			new ConstantConditionRuleHelper(
+				new ImpossibleCheckTypeHelper(
+					$this->createReflectionProvider(),
+					$this->getTypeSpecifier(),
+					[],
+					$this->treatPhpDocTypesAsCertain,
+					true,
+				),
+				$this->treatPhpDocTypesAsCertain,
+				true,
+			),
+			true,
+			$this->disableUnreachable,
+			$this->reportAlwaysTrueInLastCondition,
+		);
 	}
 
 	protected function shouldTreatPhpDocTypesAsCertain(): bool
@@ -92,14 +107,6 @@ public function testRule(): void
 				'Match expression does not handle remaining values: 1|2|3',
 				78,
 			],
-			[
-				'Match arm comparison between true and false is always false.',
-				86,
-			],
-			[
-				'Match arm comparison between true and false is always false.',
-				92,
-			],
 			[
 				'Match expression does not handle remaining value: true',
 				90,

tests/PHPStan/Rules/Comparison/data/match-expr.php

@@ -83,13 +83,13 @@ public function doFoo(int $i): void
 	public function doBar(\Exception $e): void
 	{
 		match (true) {
-			$e instanceof \InvalidArgumentException, $e instanceof \InvalidArgumentException => true,
+			$e instanceof \InvalidArgumentException, $e instanceof \InvalidArgumentException => true, // reported by ImpossibleInstanceOfRule
 			default => null,
 		};
 
 		match (true) {
 			$e instanceof \InvalidArgumentException => true,
-			$e instanceof \InvalidArgumentException => true,
+			$e instanceof \InvalidArgumentException => true, // reported by ImpossibleInstanceOfRule
 		};
 	}