Fix #13809: list<mixed> becomes array<int<0, max>, mixed> without array keys being modified
#26243
| Job | Run time |
|---|---|
| 18s | |
| 17s | |
| 1m 32s | |
| 35s | |
| 59s | |
| 1m 12s | |
| 33s | |
| 1m 3s | |
| 32s | |
| 32s | |
| 7m 33s |