It does have a type system. https://docs.oracle.com/javase/specs/jvms/se22/html/...

		mike_hearn on July 31, 2024 \| parent \| context \| favorite \| on: Porffor: A from-scratch experimental ahead-of-time... It does have a type system. https://docs.oracle.com/javase/specs/jvms/se22/html/jvms-2.h... JVM is a stack not register machine and yes the type system will prevent that from running. It will fail verification.