[typing] Type-erasure re generics

[Pelle]

On 09/29/2010 05:53 PM, Jesse Phillips wrote:
> The only benefit, which should be solve in another manner is having this code work:
>
> class A {}
> class B:A {}
>
> class Container(T) {}
>
> void main() {
>      Container!(A) a = new Container!(B)();
> }

Sorry for falling off topic, but that code shouldn't work.

a.insert(new A)