"Model 2" prototype implementation
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