Remove wrong specification

Author: VincentLanglet

src/Analyser/TypeSpecifier.php

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

tests/PHPStan/Analyser/nsrt/type-specifier.php

@@ -0,0 +1,22 @@
+<?php
+
+namespace BugTypeSpecifier;
+
+use function PHPStan\Testing\assertType;
+
+/**
+ * @param array<string, mixed> $aggregation
+ * @param non-falsy-string $type
+ */
+function testTriviallyTrueConditionSkipped(array $aggregation, string $type): void
+{
+	if (empty($aggregation['field']) && $type !== 'filter') {
+		return;
+	}
+
+	if ($type !== 'filter') {
+		assertType("array<string, mixed>", $aggregation);
+	}
+
+	assertType('non-falsy-string', $type);
+}