Fix #13809: list<mixed> becomes array<int<0, max>, mixed> without array keys being modified

Fix #13809: list<mixed> becomes array<int<0, max>, mixed> without array keys being modified #13394