News for hackers. Stuff that matters.
Re:I have written a JVM in Rust by newmana on Friday July 21, 2023 @07:30AM (#36812566)
They might be talking about the checkcast operation: https://docs.oracle.com/javase/specs/jvms/se8/html/jvms-6.ht...

This is generated when you do something like: final Main value = list.get(0);

http://henrikeichenhardt.blogspot.com/2013/05/how-are-java-g...

Re:I have written a JVM in Rust by xxs on Friday July 21, 2023 @07:44AM (#36812684)
The cast is added by javac, so it just needs to verify the object on the stack to be compatible w/ the provided class. That part is very simple.