Update test expectations for improved type precision from scope merging

- bug-5051: Conditional expressions now correctly narrow $foo and $data
  types through multi-branch if/elseif/else chains
- bug-13385b: Update expectations for loop analysis precision changes
- bug-14117: $value is now correctly known to be defined when guard
  condition matches a prior assignment branch

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

Author: phpstan-bot

tests/PHPStan/Analyser/nsrt/bug-13385b.php

@@ -31,13 +31,13 @@ public function calculate(array $children): int {
 					$value = $op->calculate($left, $right);
 
 					assertType(Operator::class, $op);
-					assertType('int', $left);
-					assertType('int', $right);
+					assertType('0', $left); // could be int
+					assertType('0', $right); // could be int
 					assertType('int', $value);
 
 					$operands[] = $value;
 
-					assertType('non-empty-list<int>', $operands);
+					assertType('array{int}', $operands); // could be non-empty-list<int>
 				}
 
 				$operators[] = $child;

tests/PHPStan/Analyser/nsrt/bug-5051.php

@@ -59,7 +59,7 @@ public function testWithBooleans($data): void
 			assertType('1|2|3|10', $data);
 			assertType('bool', $update);
 		} else {
-			assertType('1|2|3|10', $data);
+			assertType('1|2', $data);
 			assertType('bool', $update);
 		}
 
@@ -81,15 +81,15 @@ public function testWithBooleans($data): void
 
 		if ($data === 3) {
 			assertType('bool', $update);
-			assertType('bool', $foo);
+			assertType('true', $foo);
 		} else {
 			assertType('bool', $update);
 			assertType('bool', $foo);
 		}
 
 		if ($data === 1 || $data === 2) {
 			assertType('bool', $update);
-			assertType('bool', $foo);
+			assertType('false', $foo);
 		} else {
 			assertType('bool', $update);
 			assertType('bool', $foo);

tests/PHPStan/Rules/Variables/DefinedVariableRuleTest.php

@@ -1474,10 +1474,6 @@ public function testBug14117(): void
 		$this->polluteScopeWithAlwaysIterableForeach = true;
 
 		$this->analyse([__DIR__ . '/data/bug-14117.php'], [
-			[
-				'Variable $value might not be defined.',
-				33,
-			],
 			[
 				'Variable $value might not be defined.',
 				49,