--- Comment #8 from deadalnix <> 2012-05-03 04:18:22 PDT ---
(In reply to comment #6)
> Out contracts are "anded" together, meaning that *all* out contracts must pass
> in an inheritance hierarchy. Out contracts in overriding functions do not
> override the out contract in the overridden function, nor are they at all
> associated with any in contracts.

What you have here is, in fact, over restrictive to ensure OOP expectations.

With both your proposal and Timon's D is fine in regard of OOP.

Now, Timon's proposal does allow more than the current behavior (and still
allow the current behavior). You have to see it as a generalization of an over
restrictive solution.

Configure issuemail:
------- You are receiving this mail because: -------

Reply via email to