Idea how to implement VT/VO compatibility in JVM

[Maurizio Cimadamore]

On 22/01/15 13:53, Stéphane Épardaud wrote:
> On 01/22/2015 02:49 PM, Maurizio Cimadamore wrote:
>>
>> On 22/01/15 13:47, Stéphane Épardaud wrote:
>>> On 01/22/2015 02:42 PM, Maurizio Cimadamore wrote:
>>>> That's mostly where I was trying to get at - bridges are a part of 
>>>> your approach - but it seems like some other part is missing in 
>>>> order to make the approach consistent.
>>>
>>> Well, sure, it requires _some_ support for `instanceof` and the 
>>> reflection API to handle this. But the reflection API will already 
>>> have to be tweaked for value types, so it's not like it's out of the 
>>> question.
>> And checkcast.
>>
>> And arraystore (because of dynamic covariance checks).
> OK, that's true. I already knew I wasn't aware of all the consequences 
> of this approach, but we're making progress finding them :) Any others 
> you can think of?
You asked for 'holes' - I gave you some :-)

Maurizio