Don Wrote: > Then we'd have the rule: all interfaces are derived from Object, unless > they are extern(C++).
I'd propose rule "all extern(D) interfaces are implemented by objects derived from Object", which is everything pure D type system needs, while allowing extensions.
