Fix non regression test

Author: VincentLanglet

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

@@ -6,11 +6,23 @@
 
 use function PHPStan\Testing\assertType;
 
-/**
- * @param list<string> $a
- * @param list<string> $b
- */
-function foo(array $a, array $b): void {
-	$foo = [...$a, ...$b];
-	assertType('list<string>', $foo);
+class HelloWorld
+{
+	/**
+	 * @param array<int, string> $foo
+	 * @param list<string> $bar
+	 */
+	public function sayHello(array $foo, array $bar): void
+	{
+		$a = $foo;
+		if ($a === []) {
+			$a = $bar;
+		}
+
+		if ($a === []) {
+			return;
+		}
+
+		assertType('array<int, string>', $foo);
+	}
 }

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

@@ -6,20 +6,22 @@
 
 use function PHPStan\Testing\assertType;
 
-/**
- * @param array<string, int> $array
- */
-function foo(string $key, array $array): void {
-	if (array_key_exists($key, $array)) {
-		$value = $array[$key];
-		assertType('int', $value);
-	} else {
-		$value = null;
-	}
+/** @param array<mixed> $data */
+function DoSomithing(array $data): bool {
+
+	if (!isset($data['x']))
+		return false;
 
-	assertType('int|null', $value);
+	$m = isset($data['y']);
 
-	if ($value !== null) {
-		assertType('bool', array_key_exists($key, $array)); // should be true, see phpstan/phpstan#14211
+	if ($m) {
+		assertType('true', $m); // ok: true
 	}
+	assertType('bool', $m); // ok: bool
+
+	if ($m) {
+		assertType('true', $m); // <-- should not be: NEVER
+	}
+
+	return true;
 }