[package-upgrades] Type param testing (MystenLabs#10271)

## Description 

Added tests for type parameters.

crates/sui-core/src/lib.rs

@@ -46,6 +46,9 @@ mod move_package_upgrade_tests;
 #[path = "unit_tests/pay_sui_tests.rs"]
 mod pay_sui_tests;
 pub mod test_authority_clients;
+#[cfg(test)]
+#[path = "unit_tests/type_param_tests.rs"]
+mod type_param_tests;
 
 pub mod signature_verifier;
 

crates/sui-core/src/unit_tests/data/type_params/Move.toml

@@ -0,0 +1,9 @@
+[package]
+name = "type_params"
+version = "0.0.1"
+
+[dependencies]
+Sui = { local = "../../../../../sui-framework/packages/sui-framework" }
+
+[addresses]
+type_params = "0x0"

crates/sui-core/src/unit_tests/data/type_params/sources/m1.move

@@ -0,0 +1,40 @@
+// Copyright (c) Mysten Labs, Inc.
+// SPDX-License-Identifier: Apache-2.0
+
+module type_params::m1 {
+    use sui::object::{Self, UID};
+    use sui::tx_context::TxContext;
+    use sui::transfer;
+    use type_params::m2;
+
+    struct Object has key, store {
+        id: UID,
+        value: u64,
+    }
+
+    struct GenObject<T: key + store> has key, store {
+        id: UID,
+        o: T,
+    }
+
+    public entry fun create_and_transfer(value: u64, recipient: address, ctx: &mut TxContext) {
+        transfer::public_transfer(
+            Object { id: object::new(ctx), value },
+            recipient
+        )
+    }
+
+    public entry fun create_and_transfer_gen(value: u64, recipient: address, ctx: &mut TxContext) {
+        let another = m2::create(value, ctx);
+        transfer::public_transfer(
+            GenObject { id: object::new(ctx), o: another },
+            recipient
+        )
+    }
+
+    public entry fun transfer_object<T: key + store>(o: T, recipient: address) {
+        transfer::public_transfer(o, recipient);
+    }
+
+
+}

crates/sui-core/src/unit_tests/data/type_params/sources/m2.move

@@ -0,0 +1,26 @@
+// Copyright (c) Mysten Labs, Inc.
+// SPDX-License-Identifier: Apache-2.0
+
+module type_params::m2 {
+    use sui::object::{Self, UID};
+    use sui::tx_context::TxContext;
+    use sui::transfer;
+
+    struct AnotherObject has key, store {
+        id: UID,
+        value: u64,
+    }
+
+    public entry fun create_and_transfer(value: u64, recipient: address, ctx: &mut TxContext) {
+        transfer::public_transfer(
+            AnotherObject { id: object::new(ctx), value },
+            recipient
+        )
+    }
+
+    public fun create(value: u64, ctx: &mut TxContext): AnotherObject {
+        AnotherObject { id: object::new(ctx), value }
+    }
+
+
+}

crates/sui-core/src/unit_tests/data/type_params/sources/m3.move

@@ -0,0 +1,12 @@
+// Copyright (c) Mysten Labs, Inc.
+// SPDX-License-Identifier: Apache-2.0
+
+module type_params::m3 {
+    use sui::transfer;
+
+    public entry fun transfer_object<T: key + store>(o: T, recipient: address) {
+        transfer::public_transfer(o, recipient);
+    }
+
+
+}

crates/sui-core/src/unit_tests/data/type_params_extra/Move.toml

@@ -0,0 +1,9 @@
+[package]
+name = "type_params_extra"
+version = "0.0.1"
+
+[dependencies]
+Sui = { local = "../../../../../sui-framework/packages/sui-framework" }
+
+[addresses]
+type_params = "0x0"

crates/sui-core/src/unit_tests/data/type_params_extra/sources/m1.move

@@ -0,0 +1,12 @@
+// Copyright (c) Mysten Labs, Inc.
+// SPDX-License-Identifier: Apache-2.0
+
+module type_params::m1 {
+    use sui::transfer;
+
+    public entry fun transfer_object<T: key + store>(o: T, recipient: address) {
+        transfer::public_transfer(o, recipient);
+    }
+
+
+}