Aleksandar Donev wrote:
> Van Snyder wrote:
> > Generic resolution works because
> > corresponding arguments will necessarily have different types
> No, one is CLASS(AbstractVisitor) and the other is
> CLASS(AbstractPrinter), which are TKR compatible and thus are not
> distinguishable in our generic resolution scheme (unless we change it
> to be preference-based as Kurt had proposed 5 years ago).
Ahhh, yes. I had forgotten that we require the passed-object dummy
argument to be polymorphic. Of course, this makes sense since it
couldn't otherwise operate on objects of extension types.
|