in testData/codeInsight/typeInference/PsalmArrayShape.php [11:29]
function f($a, $b, $c, $d, $d1){
/** @var array{name?: Exception, age: int} $test */
<type value="array">$test = []</type>;
<type value="Exception|mixed">$test['name']</type>;
<type value="int|mixed">$b['name']</type>;
<type value="int|mixed">$a[0]</type>;
<type value="string|mixed">$a[1]</type>;
<type value="string|mixed">$c[1]</type>;
<type value="string|mixed">$d["person"]["name"]</type>;
<type value="int|mixed">$d["person"]["age"]</type>;
foreach ($d as $item) {
<type value="int|mixed">$item["age"]</type>;
}
<type value="array|mixed">$d["person"]</type>;
foreach($d1['x'] as $item1) {
<type value="int|mixed">$item1["age"]</type>;
<type value="string|mixed">$item1["name"]</type>;
}
}