http://d.puremagic.com/issues/show_bug.cgi?id=6857
--- Comment #36 from Stewart Gordon <s...@iname.com> 2012-05-04 13:49:11 PDT --- (In reply to comment #35) <snip> > Again, this is NOT true. The type of the argument is not statically > A, it is a polymorphic type A. Why do you consider the contracts of a method to be NOT part of the API? Because Bertrand considers it so, or for some other reason? > If an instance of A is passed, then the call to foo(-1) will fail. > Please try it and see for yourself. I never doubted that. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------