Fix #13809: list<mixed> becomes array<int<0, max>, mixed> without array keys being modified
#62
| Job | Run time |
|---|---|
| 12m 48s | |
| 6s | |
| 12m 54s |