Shortcut evaluation for hierarchy of in contracts
Andrei Alexandrescu
SeeWebsiteForEmail at erdani.org
Sat Jul 2 16:04:34 PDT 2011
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
More information about the Digitalmars-d
mailing list