Shortcut evaluation for hierarchy of in contracts

[Andrei Alexandrescu]

On 7/2/11 9:41 PM, Walter Bright wrote:
> 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.

I hereby am making a request for a pull request.

Andrei