On 7/1/11 6:32 PM, Robert Jacques wrote:
No. I think the current behavior is correct. In fact, if anything, D shouldn't allow you to define an in contract on any override method. A Sub is a Base and therefore must be able to handle all inputs that are valid for a Base.
That is a sensible enhancement. Andrei
