Re: Shortcut evaluation for hierarchy of in contracts

[Walter Bright]

On 7/2/2011 6:56 PM, Andrei Alexandrescu wrote:

I mean disallow an override to add an "in" contract where the overridden method
had a body but no "in" contract.

Ok, that makes sense.