function overrides but is not covariant

[Namespace]

On Monday, 29 April 2013 at 11:40:45 UTC, Timon Gehr wrote:
> On 04/28/2013 09:45 PM, Namespace wrote:
>> That surprised me a bit. Is that expected?
>>
>> ----
>> import std.stdio;
>>
>> struct A { }
>>
>> interface IFoo {
>>     void bar(ref const A);
>> }
>>
>> class Foo : IFoo {
>>     void bar(ref const A a) {
>>
>>     }
>>
>>     void bar(const A a) {
>>         return this.bar(a);
>>     }
>> }
>> ----
>> prints:
>>
>> Error: function c517.Foo.bar of type void(const(A) a) 
>> overrides but is
>> not covariant with c517.IFoo.bar of type void(ref const(A))
>
> Seems to be a bug.

I filled a new bug report. But the title is broken because of the 
very nice copy functionality of my tablet.