[Issue 2095] covariance w/o typechecks = bugs

[d-bugmail at puremagic.com]

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



--- Comment #15 from Bruno Medeiros <bdom.pub+deebugz at gmail.com> 2010-11-17 12:24:40 PST ---
For the record, the same problem also occurs with pointer types:

    B* ba=[new B()].ptr;
    A* aa=ba;
    *aa=new A;
    (*ba).methodB(); // (*ba) is expected to be B, but is A

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------