Support for dynamic dispatch (&dyn Trait) and more idiomatic implementation of Traits (they are now interfaces)

Author: IntegralPilot

Cargo.lock

@@ -11,10 +11,10 @@ md5 = "0.7.0"
 num-bigint = "0.4.6"
 num-traits = "0.2.19"
 regex = "1.11.1"
-ristretto_classfile = { version = "0.16.0" }
+ristretto_classfile = "0.18.1"
 serde = { version = "1.0.219", features = ["derive"] }
 serde_json = "1.0.140"
-sha2 = "0.10.8"
+sha2 = "0.10.9"
 zerocopy = "0.8.25"
 
 [lib]

Cargo.toml

@@ -32,7 +32,7 @@ All examples live in `tests/binary` and are compiled to JVM bytecode & run/teste
 - **[Collatz conjecture](tests/binary/collatz/src/main.rs)** verifier  
 - **[Large prime](tests/binary/primes/src/main.rs)** generator  
 - Use of nested data structures: enums, structs, tuples, arrays, slices (**[enums](tests/binary/enums/src/main.rs)**, **[structs](tests/binary/structs/src/main.rs)** - both tests use arrays and tuples)  
-* **[Implementation blocks](tests/binary/impl/src/main.rs)** and **[traits](tests/binary/traits/src/main.rs)**
+* **[Implementation blocks](tests/binary/impl/src/main.rs)** and **[traits](tests/binary/traits/src/main.rs)** (including dynamic dispatch!)
 - …and more!
 
 ---
@@ -52,7 +52,7 @@ All examples live in `tests/binary` and are compiled to JVM bytecode & run/teste
 - Executable `.jar` generation for binary crates  
 - Mutable borrowing, references, and dereferencing
 - Implementations for ADTs, including using and returning `self`, `&self`, `&mut self`
-- Traits!
+- Traits, including dynamic dispatch (`&dyn Trait`)
 - **Integration tests** for all features, in debug and release modes
 
 🚧 **Next Milestone:** Full support for the Rust `core` crate.

Readme.md

@@ -3,6 +3,11 @@ package org.rustlang.core
 import java.lang.reflect.Field
 import java.util.Objects
 
+
+public interface partialeq {
+    
+}
+
 /**
  * Core functions needed by the Rust JVM backend stdlib shim.
  */
@@ -109,16 +114,11 @@ public object Core {
     }
 
     @JvmStatic
-    public fun arguments_new_v1(pieces: Array<String>, args: Array<Any?>): String {
+    public fun core_fmt_rt_arguments_new_const_1(pieces: Array<String>): String {
         val sb = StringBuilder()
         var argIndex = 0
         for (i in pieces.indices) {
-            sb.append(pieces[i]) // Append static piece
-            if (argIndex < args.size) {
-                // Append the corresponding argument (already formatted or convertible via toString)
-                sb.append(args[argIndex]?.toString() ?: "null")
-                argIndex++
-            }
+            sb.append(pieces[i])
         }
         return sb.toString()
     }
@@ -267,8 +267,8 @@ public object Core {
     }
 
     @JvmStatic
-    // tuple (i32, u8, bool)
-    public fun i32_u8_bool_eq(value1: Any?, value2: Any?): Boolean {
+    // tuple (i32, u8)
+    public fun i32_u8_eq(value1: Any?, value2: Any?): Boolean {
         return eq(value1, value2)
     }
 

library/src/main/kotlin/org/rustlang/core/Core.kt

@@ -1,4 +1,7 @@
 -keep public class * { public static void main(java.lang.String[]); }
 -keep class * {
     <fields>;
+}
+-keepclassmembers class * implements * {
+    <methods>;
 }

proguard/default.pro

@@ -3,10 +3,6 @@
     "descriptor": "([Ljava/lang/String;)Ljava/lang/String;",
     "is_static": true
   },
-  "arguments_new_v1": {
-    "descriptor": "([Ljava/lang/String;[Ljava/lang/Object;)Ljava/lang/String;",
-    "is_static": true
-  },
   "core_assert_failed": {
     "descriptor": "(Ljava/lang/String;)V",
     "is_static": true
@@ -27,6 +23,10 @@
     "descriptor": "(I)Ljava/lang/String;",
     "is_static": true
   },
+  "core_fmt_rt_arguments_new_const_1": {
+    "descriptor": "([Ljava/lang/String;)Ljava/lang/String;",
+    "is_static": true
+  },
   "core_panicking_panic": {
     "descriptor": "(Ljava/lang/String;)V",
     "is_static": true
@@ -83,7 +83,7 @@
     "descriptor": "(Ljava/lang/Object;Ljava/lang/Object;)Z",
     "is_static": true
   },
-  "i32_u8_bool_eq": {
+  "i32_u8_eq": {
     "descriptor": "(Ljava/lang/Object;Ljava/lang/Object;)Z",
     "is_static": true
   },