From 11e0ab61e187127b82f24a2e88b1e137513e1744 Mon Sep 17 00:00:00 2001
From: Martin Herndl <martin@herndl.org>
Date: Fri, 18 Oct 2024 21:37:48 +0200
Subject: [PATCH] Remove unnecessary `instanceof ConstantBooleanType` in loop
 analysis

---
 phpstan-baseline.neon              | 2 +-
 src/Analyser/NodeScopeResolver.php | 7 +------
 2 files changed, 2 insertions(+), 7 deletions(-)

diff --git a/phpstan-baseline.neon b/phpstan-baseline.neon
index 73144c4ac1..050d8a1d2c 100644
--- a/phpstan-baseline.neon
+++ b/phpstan-baseline.neon
@@ -58,7 +58,7 @@ parameters:
 
 		-
 			message: "#^Doing instanceof PHPStan\\\\Type\\\\Constant\\\\ConstantBooleanType is error\\-prone and deprecated\\. Use Type\\:\\:isTrue\\(\\) or Type\\:\\:isFalse\\(\\) instead\\.$#"
-			count: 3
+			count: 2
 			path: src/Analyser/NodeScopeResolver.php
 
 		-
diff --git a/src/Analyser/NodeScopeResolver.php b/src/Analyser/NodeScopeResolver.php
index 92eae571e5..969d0be6b4 100644
--- a/src/Analyser/NodeScopeResolver.php
+++ b/src/Analyser/NodeScopeResolver.php
@@ -1320,12 +1320,7 @@ private function processStmtNode(
 				$initScope = $condResult->getScope();
 				$condResultScope = $condResult->getScope();
 				$condTruthiness = ($this->treatPhpDocTypesAsCertain ? $condResultScope->getType($condExpr) : $condResultScope->getNativeType($condExpr))->toBoolean();
-				if ($condTruthiness instanceof ConstantBooleanType) {
-					$condTruthinessTrinary = TrinaryLogic::createFromBoolean($condTruthiness->getValue());
-				} else {
-					$condTruthinessTrinary = TrinaryLogic::createMaybe();
-				}
-				$isIterableAtLeastOnce = $isIterableAtLeastOnce->and($condTruthinessTrinary);
+				$isIterableAtLeastOnce = $isIterableAtLeastOnce->and($condTruthiness->isTrue());
 				$hasYield = $hasYield || $condResult->hasYield();
 				$throwPoints = array_merge($throwPoints, $condResult->getThrowPoints());
 				$impurePoints = array_merge($impurePoints, $condResult->getImpurePoints());