From 10918e1360cfefa65cd5cc37b36695b084b23e1f Mon Sep 17 00:00:00 2001
From: Markus Staab <maggus.staab@googlemail.com>
Date: Sat, 21 Feb 2026 12:07:52 +0100
Subject: [PATCH] TypeSpecifier: Prevent duplicate expression printing

---
 src/Analyser/TypeSpecifier.php | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/src/Analyser/TypeSpecifier.php b/src/Analyser/TypeSpecifier.php
index e059a52d258..ad8d1016723 100644
--- a/src/Analyser/TypeSpecifier.php
+++ b/src/Analyser/TypeSpecifier.php
@@ -2017,18 +2017,18 @@ private function createForExpr(
 		$sureNotTypes = [];
 		if ($context->false()) {
 			$exprString = $this->exprPrinter->printExpr($expr);
-			$originalExprString = $this->exprPrinter->printExpr($originalExpr);
-
 			$sureNotTypes[$exprString] = [$expr, $type];
-			if ($exprString !== $originalExprString) {
+
+			if ($expr !== $originalExpr) {
+				$originalExprString = $this->exprPrinter->printExpr($originalExpr);
 				$sureNotTypes[$originalExprString] = [$originalExpr, $type];
 			}
 		} elseif ($context->true()) {
 			$exprString = $this->exprPrinter->printExpr($expr);
-			$originalExprString = $this->exprPrinter->printExpr($originalExpr);
-
 			$sureTypes[$exprString] = [$expr, $type];
-			if ($exprString !== $originalExprString) {
+
+			if ($expr !== $originalExpr) {
+				$originalExprString = $this->exprPrinter->printExpr($originalExpr);
 				$sureTypes[$originalExprString] = [$originalExpr, $type];
 			}
 		}