Bug 10195 – auto type inference on method override

Overload resolution fails to recognize baz in the following example to be a valid candidate for an override: interface Foo { int baz(); } class Bar : Foo { auto baz() { return cast(int)1; } } pragma(msg, typeof(Foo.baz).stringof); // int() pragma(msg, typeof(Bar.baz).stringof); // int() main.d(8): Error: function foo.Bar.baz of type () overrides but is not covariant with foo.Foo.baz of type int() It seems like auto isn't resolved before the covariance check.

*** This issue has been marked as a duplicate of issue 8318 ***