http://d.puremagic.com/issues/show_bug.cgi?id=6857
--- Comment #41 from Walter Bright <bugzi...@digitalmars.com> 2012-05-04 15:18:08 PDT --- (In reply to comment #40) > (In reply to comment #39) > > Please write a piece of code that asserts when it should not, or passes > > when it > > should not, compile it, verify this incorrect behavior, and post it here. > > Timon has already done this and posted it in the description when filing this > report in the first place. Example #1 expects behavior based on the static type, which is not polymorphic OOP at all. Of course x.foo() should check B's widened interface, because: x is a B! The example's rationale is completely invalid. Please read Meyer's book. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------