My point had nothing to do with the merits of covariant types, just tractability. It seems that the array's type is tractable so the compiler should (at least)

My point had nothing to do with the merits of covariant types, just tractability. It seems that the array's type is tractable so the compiler should (at least) give a warning.