Inheritance of purity

[so]

On Saturday, 25 February 2012 at 17:57:54 UTC, Timon Gehr wrote:
>> class A {
>>     void fun() const { ... }
>> }
>>
>> class B : A {
>>     override void fun() { ... }
>> }
>>
>> Now I change the class A to become :
>>
>> class A {
>>     void fun() const { ... }
>>     void fun() { ... }
>> }
>>
>> And suddenly, the override doesn't override the same thing 
>> anymore.
>> Which is unnacceptable.
>
> You didn't try to actually compile this, did you? ;D

You can't compile that now, can you?