http://d.puremagic.com/issues/show_bug.cgi?id=6857
--- Comment #19 from Walter Bright <bugzi...@digitalmars.com> 2012-05-03 15:46:03 PDT --- (In reply to comment #16) > This is the issue. WHY are they done based on the virtual type? > Checking the contracts based on static typing would detect logical errors in > the calling code. Doing it based on the virtual type ignores latent bugs in > specific instances where they are harmless. I can't understand why that's a > good idea. The whole idea of polymorphism is to base things on the virtual type. I don't understand what latent bugs you are referring to. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------