Fix #13809: list<mixed> becomes array<int<0, max>, mixed> without array keys being modified
#12646
| Job | Run time |
|---|---|
| 1m 42s | |
| 1m 25s | |
| 1m 22s | |
| 1m 21s | |
| 1m 23s | |
| 7m 13s |