In my repo, there's also a lot of other test cases verifying generics, ADTs and even real-world use cases like RSA encryption. Check it out here, and I'd really love if you could give it a star!
github.com/IntegralPilo...
Toolchain to create JVM-ready Java bytecode from Rust MIR. - IntegralPilot/rustc_codegen_jvm
