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

It does have a type system. https://docs.oracle.com/javase/specs/jvms/se22/html/jvms-2.html#jvms-2.2 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.