I'd say the array should be general (ArrayType) after shuffle because the key => value type association is no longer maintained - ConstantArrayType is no longer correct.

I had the same thought but then we loose the keys I guess. But OK, I'll look into that tomorrow

"tomorrow" = ~2 weeks in the parallel universe I was living :)

should be adapted. shuffle leads now to a generic array and re-indexes the keys. The only thing that was lost is the order of the keys which is always 0, 1, 2, .. but I guess we can't retain them at the moment.

Not a 100% happy with this, but I can't come up with something better. Basically something like a shuffled list / shuffled constant array would be needed, but that feels very much like an edge case :)

Thank you.