On 2/16/2012 8:53 PM, Walter Bright wrote:
1. The user of the override will be using it via the base class function.2. The compiler will tell you if it, for example, violates purity. There won't be any guesswork involved. Right now, the compiler will give you a covariant error. 3. It isn't different in concept than auto declarations and all the other type inference that goes in D, including automatic inference of purity and safety.
4. It's also much like how contracts get inherited.
