[Issue 6857] Precondition contract checks should be statically bound.

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=6857



--- Comment #38 from Stewart Gordon <smjg at iname.com> 2012-05-04 14:30:40 PDT ---
(In reply to comment #37)
> Then I am lost as to what you think is broken in the design.

In how many different ways does the same thing need to be explained to you
before you understand it?

If a subclass introduces a new method, that new method doesn't exist from the
base class's point of view.

In the same way, if a subclass introduces new legal arguments to a method,
those new legal arguments don't exist from the base class's point of view.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------