Add regression tests for #13304 and #13643

Closes phpstan/phpstan#13304
Closes phpstan/phpstan#13643

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Author: ondrejmirtes

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

@@ -0,0 +1,16 @@
+<?php declare(strict_types = 1);
+
+namespace Bug13304;
+
+use function PHPStan\Testing\assertType;
+
+function foo(object $bar): void
+{
+	foreach (['qux', 'quux'] as $property) {
+		if (!property_exists($bar, $property)) {
+			throw new \Exception;
+		}
+	}
+
+	assertType("object&hasProperty(quux)&hasProperty(qux)", $bar);
+}

tests/PHPStan/Rules/Functions/CallToFunctionParametersRuleTest.php

@@ -2843,4 +2843,11 @@ public function testBug11533(): void
 		$this->analyse([__DIR__ . '/data/bug-11533.php'], []);
 	}
 
+	public function testBug13643(): void
+	{
+		$this->checkExplicitMixed = true;
+		$this->checkImplicitMixed = true;
+		$this->analyse([__DIR__ . '/data/bug-13643.php'], []);
+	}
+
 }

tests/PHPStan/Rules/Functions/data/bug-13643.php

@@ -0,0 +1,46 @@
+<?php declare(strict_types = 1);
+
+namespace Bug13643;
+
+/**
+ * @param list<array<string, mixed>> $records
+ */
+function testA(array $records): void {
+	foreach ($records as $record) {
+		foreach (['aaa', 'bbb', 'ccc', 'ddd'] as $col) {
+			if (!array_key_exists($col, $record) || !is_int($record[$col])) {
+				$record[$col] = 0;
+			}
+		}
+
+		useRecord(
+			$record['aaa'],
+			$record['bbb'],
+			$record['ccc'],
+			$record['ddd'],
+		);
+	}
+}
+
+/**
+ * @param list<array<string, mixed>> $records
+ */
+function testB(array $records): void {
+	foreach ($records as $record) {
+		foreach (['aaa', 'bbb', 'ccc', 'ddd'] as $col) {
+			if (array_key_exists($col, $record) && is_int($record[$col])) {
+				continue;
+			}
+			$record[$col] = 0;
+		}
+
+		useRecord(
+			$record['aaa'],
+			$record['bbb'],
+			$record['ccc'],
+			$record['ddd'],
+		);
+	}
+}
+
+function useRecord(int ...$v): void {}