Fix array_key_exists narrows $key too much
#10565
| Job | Run time |
|---|---|
| 10s | |
| 10s |
array_key_exists narrows $key too much
#10565
| Job | Run time |
|---|---|
| 10s | |
| 10s |