Re: Generics with concrete and class-wide types

[Eric Hughes <eric.eh9@gmail.com>]

"Maciej Sobczak" <see.my.homep...@gmail.com> wrote in message
> Bang, because relevant iterator operations cannot be found - the ones
> that are found have *wrong signatures*.

On Mar 31, 6:23 pm, "Randy Brukardt" <ra...@rrsoftware.com> wrote:
> Right. This seems related to the problem mentioned in AI05-0071-1.

To my eye, it's also related to the discussion I was in recently
involving generic parameters, where the issue was hypothetical, but
also involved symbol mappings.  I've thought a lot about this thread,
and rather than start with a long discussion, I think a small riddle
is in order, one which seems to cut to the center of the problem.

Is it possible to get both dispatching and non-dispatching calls on a
single type (expressed as a single formal parameter) within a generic?

Eric