\K\C> $arr */ function takesArray(array $arr): void { if ($arr) { echo ($arr[0])->f(); } } }