Re: Restriction on interface function types

[Steve Teale]

On Wednesday, 12 March 2014 at 13:34:33 UTC, Steve Teale wrote:
class A : I
{
   A myType() { return cast(A)null;}
   final void foo();
}
class B : I
{
   B myType() {return cast(B) null;}
   final void bar();
}

void main()
{
   I[] arr = [new A, new B];
   foreach(i; arr) { (cast(typeof(i.myType()) i).foo() }
}

myType() is a virtual function, so calling it through the 
interface type should get the correct version right?, and then 
the cast should cause a call to A or B.

Aargh - not final void foo() and final void bar(), just void 
foo() in each case - a virtual function not mentioned by the 
interface.