On 4/17/2013 11:49 PM, Timon Gehr wrote:
I am sorry, but I do not understand your notion of covariance.
Overriding functions can add pure or nothrow and remain covariant.
In the second case you cannot infer the attributes because you do not know all
subclasses. The signature will potentially not match all overrides.
If you want a precise signature, don't use auto. It's the same case as
everywhere else.
Case in point, I just noticed the following regression on git head:
import std.stdio;
class C(T){
T foo(){ return 2; }
}
class D : C!int{
override int foo(){ writeln(super.foo()); return 3; } // error
}
Inference shouldn't be done for virtual functions.
http://d.puremagic.com/issues/show_bug.cgi?id=9952
This is not an auto issue.
