Idea how to implement VT/VO compatibility in JVM

[Maurizio Cimadamore]

On 22/01/15 14:16, Stéphane Épardaud wrote:
> And that's where you may be aware of technical issues that would make 
> this hard that I'm not aware of yet. If it's just about being able to 
> find back erased(A) from and instance of specialized(A) then it 
> doesn't sound too hard, I suppose that information will be available 
> in the runtime class for specialized(A), so `checkcast` and 
> `instanceof` and friends can use that for checks. Pretty much the same 
> way we'd allow these types to be interchangeable at compile-time from 
> javac. 
I believe you are looking at something that's vaguely resemblant of this 
[1] (look at the 'interface injection' section) and [2]. Which is a big 
VM feature on its own.

Maurizio

[1] - http://openjdk.java.net/projects/mlvm/subprojects.html
[2] - https://blogs.oracle.com/jrose/entry/interface_injection_in_the_vm