http://d.puremagic.com/issues/show_bug.cgi?id=6857
Walter Bright <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|REOPENED |RESOLVED Resolution| |INVALID --- Comment #7 from Walter Bright <[email protected]> 2012-05-02 14:11:46 PDT --- This is a misunderstanding about how inheritance works. If an A is passed to foo(), then only A's preconditions are checked. If a B is passed, then either A's precondition or B's precondition must be satisified. This is how standard inheritance works. I did not invent this. It is not a bug, and changing this behavior would completely break how inheritance works. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
