grep

[terranium]

terranium Wrote:

> Dee Girl Wrote:
> 
> > Your example compiles but it was so good if it did not. Modifiable arrays should never be covariant!
> 
> Compiles and works? There is no problem with covariance, it just needs runtime typechecks for assignment.

The problem is array (unlike java and .Net) is a primitive type, so it doesn't have TypeInfo and doesn't know what it's supposed to contain, so it can't do typechecks.