• d-bugmail puremagic.com May 11 2008

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

           Summary: covariance w/o typechecks = bugs
           Product: D
           Version: 2.012
          Platform: PC
               URL: http://www.digitalmars.com/webnews/newsgroups.php?art_gr
                    oup=digitalmars.D&article_id=71480
        OS/Version: Windows
            Status: NEW
          Keywords: spec
          Severity: normal
          Priority: P2
         Component: www.digitalmars.com
        AssignedTo: bugzilla digitalmars.com
        ReportedBy: terranium yandex.ru


class A{}
class B:A{}

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


--