fix

Author: staabm

src/Analyser/TypeSpecifier.php

@@ -2291,11 +2291,13 @@ public function resolveIdentical(Expr\BinaryOp\Identical $expr, Scope $scope, Ty
 						}
 					}
 
-					if ($leftArrayType->isIterableAtLeastOnce()->yes() || $rightArrayType->isIterableAtLeastOnce()->yes()) {
-						$arrayTypes = $this->create($unwrappedLeftExpr->getArgs()[0]->value, new NonEmptyArrayType(), $context, $scope)->setRootExpr($expr);
-						return $arrayTypes->unionWith(
-							$this->create($unwrappedRightExpr->getArgs()[0]->value, new NonEmptyArrayType(), $context, $scope)->setRootExpr($expr),
-						);
+					if (!$rightType->isConstantScalarValue()->yes()) {
+						if ($leftArrayType->isIterableAtLeastOnce()->yes() || $rightArrayType->isIterableAtLeastOnce()->yes()) {
+							$arrayTypes = $this->create($unwrappedLeftExpr->getArgs()[0]->value, new NonEmptyArrayType(), $context, $scope)->setRootExpr($expr);
+							return $arrayTypes->unionWith(
+								$this->create($unwrappedRightExpr->getArgs()[0]->value, new NonEmptyArrayType(), $context, $scope)->setRootExpr($expr),
+							);
+						}
 					}
 				}
 			}

tests/PHPStan/Analyser/nsrt/list-count2.php

@@ -90,4 +90,16 @@ function sayEqualArrayShape($arrA, array $arrB): void
 		}
 		assertType('list', $arrB);
 	}
+
+	/**
+	 * @param list $arrA
+	 * @param array{int, int, int} $arrB
+	 */
+	function sayEqualArrayShapeReversed($arrA, array $arrB): void
+	{
+		if (count($arrA) == count($arrB)) {
+			assertType('array{mixed, mixed, mixed}', $arrA);
+		}
+		assertType('list', $arrA);
+	}
 }