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.