Comment made by: ambrosebs
Unfortunately it's intentional. It's a long standing issue, one that I've thought long and hard about, but Arrays broken right now. The main problem is that there is no distinction between an array of boxed values and an array of unboxed values -- you can upcast from one the other.
I will put this near the top of the list of things to do.