Disambiguate && / || operator priority

phpstan · Jul 10, 2022 · 135bc57 · 135bc57
1 parent 2b20335
commit 135bc57
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Analyser/TypeSpecifier.php b/src/Analyser/TypeSpecifier.php
@@ -305,7 +305,7 @@ public function specifyTypesInCondition(
 			$exprLeftType = $scope->getType($expr->left);
 			$exprRightType = $scope->getType($expr->right);
 			if (
-				$exprLeftType instanceof ConstantType && !$exprRightType->equals($exprLeftType) && $exprRightType->isSuperTypeOf($exprLeftType)->yes()
+				($exprLeftType instanceof ConstantType && !$exprRightType->equals($exprLeftType) && $exprRightType->isSuperTypeOf($exprLeftType)->yes())
 				|| $exprLeftType instanceof EnumCaseObjectType
 			) {
 				$types = $this->create(
@@ -318,7 +318,7 @@ public function specifyTypesInCondition(
 				);
 			}
 			if (
-				$exprRightType instanceof ConstantType && !$exprLeftType->equals($exprRightType) && $exprLeftType->isSuperTypeOf($exprRightType)->yes()
+				($exprRightType instanceof ConstantType && !$exprLeftType->equals($exprRightType) && $exprLeftType->isSuperTypeOf($exprRightType)->yes())
 				|| $exprRightType instanceof EnumCaseObjectType
 			) {
 				$leftType = $this->create(