Skip trivially-always-true conditions in processBooleanNotSureConditionalTypes

Apply the same fix from processBooleanSureConditionalTypes to its
symmetric counterpart. When TypeCombinator::intersect(scopeType, type)
returns the scope type unchanged, the condition is trivially always
true and should be skipped to avoid creating spurious conditional
expression holders.

The other TypeCombinator::remove calls (in AssignHandler and on the
result side of processBooleanNotSureConditionalTypes) cannot be fixed
the same way because their holders carry createYes certainty that
matters for conditionally-defined variables — even when the type
itself doesn't change.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: phpstan-bot

src/Analyser/TypeSpecifier.php

@@ -2066,9 +2066,15 @@ private function processBooleanNotSureConditionalTypes(Scope $scope, SpecifiedTy
 				continue;
 			}
 
+			$scopeType = $scope->getType($expr);
+			$conditionType = TypeCombinator::intersect($scopeType, $type);
+			if ($scopeType->equals($conditionType)) {
+				continue;
+			}
+
 			$conditionExpressionTypes[$exprString] = ExpressionTypeHolder::createYes(
 				$expr,
-				TypeCombinator::intersect($scope->getType($expr), $type),
+				$conditionType,
 			);
 		}