Idea how to implement VT/VO compatibility in JVM

Maurizio Cimadamore maurizio.cimadamore at
Thu Jan 22 14:33:15 UTC 2015

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.


[1] -
[2] -

More information about the valhalla-dev mailing list