assert all branches

Author: staabm

tests/PHPStan/Analyser/nsrt/array-find-key-existing.php

@@ -14,8 +14,16 @@ function arrayFindKeyNotNull(array $list, string $s): void
 	$key = array_find_key($list, fn (string $v) => $v === $s);
 	if ($key !== null) {
 		assertType('non-empty-list<string>', $list);
+		assertType('int<0, max>', $key);
 		assertType('string', $list[$key]);
+	} else {
+		assertType('array{}', $list);
+		assertType('null', $key);
+		assertType('*ERROR*', $list[$key]);
 	}
+	assertType('list<string>', $list);
+	assertType('int<0, max>|null', $key);
+	assertType('string', $list[$key]);
 }
 
 /**

tests/PHPStan/Analyser/nsrt/array-search-existing.php

@@ -45,8 +45,18 @@ function arraySearchStrictNarrowsToNeedle(array $arr, int $needle): void
 {
 	$key = array_search($needle, $arr, true);
 	if ($key !== false) {
+		assertType('non-empty-array<string, int|string>', $arr);
+		assertType('string', $key);
 		assertType('int', $arr[$key]);
+	} else {
+		assertType('array<string, int|string>', $arr);
+		assertType('false', $key);
+		assertType('*ERROR*', $arr[$key]);
 	}
+	assertType('array<string, int|string>', $arr);
+	assertType('string|false', $key);
+	assertType('int|string', $arr[$key]);
+
 }
 
 /**