"Model 2" prototype implementation

Brian Goetz brian.goetz at oracle.com
Fri Aug 7 21:12:51 UTC 2015

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.

More information about the valhalla-dev mailing list