[Issue 2095] New: covariance w/o typechecks = bugs

[d-bugmail at puremagic.com]

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 at digitalmars.com
        ReportedBy: terranium at 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


--