more asserts

Author: staabm

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

@@ -15,11 +15,13 @@ public function sayHello(array $array): int
 		$hasBar = isset($array['bar']) && $array['bar'] > 1;
 
 		if ($hasFoo) {
+			assertType('array{foo?: int, bar?: int}', $array);
 			assertType('int<2, max>', $array['foo']);
 			return $array['foo'];
 		}
 
 		if ($hasBar) {
+			assertType('array{foo?: int, bar: int}', $array);
 			assertType('int<2, max>', $array['bar']);
 			return $array['bar'];
 		}
@@ -36,11 +38,13 @@ public function sayHello2(array $array): int
 		$hasFoo = isset($array['foo']) && $array['foo'] > 1;
 
 		if ($hasFoo) {
+			assertType('array{foo: int, bar?: int}', $array);
 			assertType('int<2, max>', $array['foo']);
 			return $array['foo'];
 		}
 
 		if ($hasBar) {
+			assertType('array{foo?: int, bar?: int}', $array);
 			assertType('int<2, max>', $array['bar']);
 			return $array['bar'];
 		}