Container Contravariance was Re: [typing] Type-erasure re generics

[Steven Schveighoffer]

On Wed, 29 Sep 2010 16:37:49 -0400, Jesse Phillips  
<jessekphillips+D at gmail.com> wrote:

> I have shown that what I am talking about is valid for Arrays (a  
> container) but not templates. The issues of actually implementing it is  
> not related to what I was replying to. I introduced it as a benefit to  
> forgetting type information in "generics." I was then told "Having a  
> container of one type should not be castable to a container of
> another type." So I am pointing out we need to remove this feature from  
> arrays right now!

It's a very old bug, please vote:

http://d.puremagic.com/issues/show_bug.cgi?id=2095

Also

http://d.puremagic.com/issues/show_bug.cgi?id=926

-Steve