Fix array_key_exists narrows $key too much
#3340
| Job | Run time |
|---|---|
| 18s | |
| 18s |
array_key_exists narrows $key too much
#3340
| Job | Run time |
|---|---|
| 18s | |
| 18s |