Add regression test for #7716

Closes phpstan/phpstan#7716

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

Author: phpstan-bot

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

@@ -0,0 +1,50 @@
+<?php declare(strict_types = 1);
+
+namespace Bug7716;
+
+use function PHPStan\Testing\assertType;
+
+class HelloWorld
+{
+	/**
+	 * @param array{foo?: int, bar?: int} $array
+	 */
+	public function sayHello(array $array): int
+	{
+		$hasFoo = isset($array['foo']) && $array['foo'] > 1;
+		$hasBar = isset($array['bar']) && $array['bar'] > 1;
+
+		if ($hasFoo) {
+			assertType('int<2, max>', $array['foo']);
+			return $array['foo'];
+		}
+
+		if ($hasBar) {
+			assertType('int<2, max>', $array['bar']);
+			return $array['bar'];
+		}
+
+		return 0;
+	}
+
+	/**
+	 * @param array{foo?: int, bar?: int} $array
+	 */
+	public function sayHello2(array $array): int
+	{
+		$hasBar = isset($array['bar']) && $array['bar'] > 1;
+		$hasFoo = isset($array['foo']) && $array['foo'] > 1;
+
+		if ($hasFoo) {
+			assertType('int<2, max>', $array['foo']);
+			return $array['foo'];
+		}
+
+		if ($hasBar) {
+			assertType('int<2, max>', $array['bar']);
+			return $array['bar'];
+		}
+
+		return 0;
+	}
+}