add test for trait associated types in contracts

Author: leighmcculloch

Cargo.lock

@@ -0,0 +1,18 @@
+[package]
+name = "test_associated_types"
+version.workspace = true
+authors = ["Stellar Development Foundation <info@stellar.org>"]
+license = "Apache-2.0"
+edition = "2021"
+publish = false
+rust-version.workspace = true
+
+[lib]
+crate-type = ["cdylib"]
+doctest = false
+
+[dependencies]
+soroban-sdk = {path = "../../soroban-sdk"}
+
+[dev-dependencies]
+soroban-sdk = {path = "../../soroban-sdk", features = ["testutils"]}

tests/associated_type/Cargo.toml

@@ -0,0 +1,50 @@
+#![no_std]
+use soroban_sdk::{Env, String, contract, contractimpl};
+
+// The associated type to hold a default impl for a trait pattern is a pattern that's seen in the
+// OpenZeppelin contract library.
+
+pub struct DefaultImpl;
+
+impl Trait for DefaultImpl {
+    type Impl = Self;
+    fn exec(env: &Env) -> String {
+        String::from_str(env, "default")
+    }
+}
+
+pub trait Trait {
+    type Impl: Trait;
+
+    fn exec(env: &Env) -> String {
+        Self::Impl::exec(env)
+    }
+}
+
+#[contract]
+pub struct Contract;
+
+#[contractimpl]
+impl Trait for Contract {
+    type Impl = DefaultImpl;
+    fn exec(env: &Env) -> String {
+        Self::Impl::exec(env)
+    }
+}
+
+#[cfg(test)]
+mod test {
+    use soroban_sdk::{Env, String};
+
+    use crate::{Contract, ContractClient};
+
+    #[test]
+    fn test_exec() {
+        let e = Env::default();
+        let contract_id = e.register(Contract, ());
+        let client = ContractClient::new(&e, &contract_id);
+
+        let res = client.exec();
+        assert_eq!(res, String::from_str(&e, "default"));
+    }
+}

tests/associated_type/src/lib.rs

@@ -0,0 +1,77 @@
+{
+  "generators": {
+    "address": 1,
+    "nonce": 0,
+    "mux_id": 0
+  },
+  "auth": [
+    [],
+    []
+  ],
+  "ledger": {
+    "protocol_version": 23,
+    "sequence_number": 0,
+    "timestamp": 0,
+    "network_id": "0000000000000000000000000000000000000000000000000000000000000000",
+    "base_reserve": 0,
+    "min_persistent_entry_ttl": 4096,
+    "min_temp_entry_ttl": 16,
+    "max_entry_ttl": 6312000,
+    "ledger_entries": [
+      [
+        {
+          "contract_data": {
+            "contract": "CAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD2KM",
+            "key": "ledger_key_contract_instance",
+            "durability": "persistent"
+          }
+        },
+        [
+          {
+            "last_modified_ledger_seq": 0,
+            "data": {
+              "contract_data": {
+                "ext": "v0",
+                "contract": "CAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD2KM",
+                "key": "ledger_key_contract_instance",
+                "durability": "persistent",
+                "val": {
+                  "contract_instance": {
+                    "executable": {
+                      "wasm": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
+                    },
+                    "storage": null
+                  }
+                }
+              }
+            },
+            "ext": "v0"
+          },
+          4095
+        ]
+      ],
+      [
+        {
+          "contract_code": {
+            "hash": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
+          }
+        },
+        [
+          {
+            "last_modified_ledger_seq": 0,
+            "data": {
+              "contract_code": {
+                "ext": "v0",
+                "hash": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
+                "code": ""
+              }
+            },
+            "ext": "v0"
+          },
+          4095
+        ]
+      ]
+    ]
+  },
+  "events": []
+}