Tests for derivation macros with where clauses. (#325)

concordium-std/Cargo.toml

@@ -23,7 +23,7 @@ getrandom = { version = "0.2", features = ["custom"], optional = true }
 
 [dependencies.concordium-contracts-common]
 path = "../concordium-contracts-common/concordium-contracts-common"
-version = "7.0"
+version = "7.1"
 default-features = false
 features = ["smart-contract"]
 

concordium-std/tests/derive-deserial-with-state/success-generics.rs

@@ -10,6 +10,36 @@ struct State1<T, A> {
     other: A,
 }
 
+#[derive(DeserialWithState)]
+#[concordium(state_parameter = "S")]
+struct WithStateParameterWhere<S>
+where
+    S: HasStateApi,
+    S: Clone, {
+    test_map: StateMap<u32, String, S>,
+}
+
+#[rustfmt::skip] // maintain lack of trailing comma, and empty where clause
+mod inner {
+    use super::*;
+    #[derive(DeserialWithState)]
+    #[concordium(state_parameter = "S")]
+    struct WithStateParameterWhereTwo<S>
+    where
+        S: HasStateApi,
+        S: Clone { // no trailing comma
+        test_map: StateMap<u32, String, S>,
+    }
+
+    #[derive(DeserialWithState)]
+    #[concordium(state_parameter = "S")]
+    struct WithStateParameterWhereThree<S: Deserial>
+    where //empty where clause
+    {
+        test: S,
+    }
+}
+
 trait ProxyTrait {
     type State: HasStateApi;
 }

concordium-std/tests/derive-deserial/success-generics.rs

@@ -25,6 +25,35 @@ enum MyOtherEnum<A, B> {
     Two(A, B),
 }
 
+#[derive(Deserial)]
+struct WithStateParameterWhere<S>
+where
+    S: Clone,
+    S: PartialOrd, {
+    value: S,
+}
+
+#[rustfmt::skip] // skip formatting to maintain lack of trailing comma
+mod inner {
+    use super::*;
+    #[derive(Deserial)]
+    struct WithStateParameterWhereTwo<S>
+    where
+        S: Clone,
+        // note the lack of comma compared to the test above
+        S: PartialOrd {
+        value: S,
+    }
+
+    #[derive(Deserial)]
+    struct WithStateParameterWhereThree<S>
+    where // empty where clause
+    {
+        value: S,
+    }
+}
+
+
 #[derive(Deserial)]
 #[concordium(bound(deserial = ""))]
 struct ExplicitBound<A> {

concordium-std/tests/derive-serial/success-generics.rs

@@ -31,6 +31,37 @@ struct WithStateParameter<S: HasStateApi> {
     test_map: StateMap<u32, String, S>,
 }
 
+#[derive(Serial)]
+#[concordium(state_parameter = "S")]
+struct WithStateParameterWhere<S>
+where
+    S: HasStateApi,
+    S: Clone, {
+    test_map: StateMap<u32, String, S>,
+}
+
+#[rustfmt::skip] // skip formatting to maintain lack of trailing comma
+mod inner {
+    use super::*;
+    #[derive(Serial)]
+    #[concordium(state_parameter = "S")]
+    struct WithStateParameterWhereTwo<S>
+    where
+        S: HasStateApi,
+        S: Clone { // note the lack of comma compared to the test above
+        test_map: StateMap<u32, String, S>,
+    }
+
+    #[derive(Serial)]
+    #[concordium(state_parameter = "S")]
+    struct WithStateParameterWhereThree<S: HasStateApi>
+    where // empty where clause
+        {
+        test_map: StateMap<u32, String, S>,
+    }
+}
+
+
 trait ProxyTrait {
     type State: HasStateApi;
 }

examples/cis3-nft-sponsored-txs/README.md

@@ -15,8 +15,8 @@ cargo concordium build -e --out contract.wasm.v1
 Run the following command to run the unit and integration tests:
 
 ```
-cargo concordium test 
+cargo concordium test
 ```
 ```
-cargo test 
+cargo test
 ```