"Model 2" prototype implementation

[Brian Goetz]

Yep, that's because we haven't told the whole translation story in its 
full gory detail yet.  Stay tuned for the writeup.  (Spoiler: it has to 
do with types with multiple avars where some are wildcarded and others 
are not, like Map<int, any>.)

On 8/7/2015 5:03 PM, Guillaume Martres wrote:
> On Friday 07 August 2015 16:09:14 Brian Goetz wrote:
>> Most dispatch on Foo<any> receivers can proceed without indy; the
>> prototype happens to use it for dispatching all calls on Foo<any>
>> receivers, but this is neither necessary nor optimal.
>
> Can you provide an example where it is necessary? I played a bit with the
> prototype but couldn't think of an example where it would.
>