鑒于此代碼（https://psalm.dev/r/156e52eb66）：<?phpfunction keys(): array{  return ['foo', 'bar'];}// no lines above can be changedforeach (keys() as $k) {  echo gettype($k);}假設keys函數(shù)不在我們的控制之下（在不同的項目中）并且它有效地返回一個mixed( array<array-key, mixed>)數(shù)組，它會如何輸入。因此，人們只能改變循環(huán)及其周圍。甚至有可能嗎？UPD：我報告了https://github.com/vimeo/psalm/issues/2025