[verifier] Migrate id_immutable tests

crates/sui-verifier-transactional-tests/transactional-tests/tests/id_immutable/mut_borrow_generic_key_struct_id_field.exp

@@ -0,0 +1,4 @@
+processed 1 task
+
+task 0 'publish'. lines 4-18:
+Error: Failed to verify the Move module, reason: "In function foo: ID field of struct Foo cannot be mut borrowed because ID is immutable.".

crates/sui-verifier-transactional-tests/transactional-tests/tests/id_immutable/mut_borrow_generic_key_struct_id_field.mvir

@@ -0,0 +1,18 @@
+// Copyright (c) 2022, Mysten Labs, Inc.
+// SPDX-License-Identifier: Apache-2.0
+
+//# publish
+module 0x0.M {
+    import 0x2.ID;
+
+    struct Foo<T> has key {
+        id: ID.VersionedID,
+    }
+
+    foo(f: Self.Foo<u64>) {
+        label l0:
+        _ = &mut (&mut f).Foo<u64>::id;
+        abort 0;
+    }
+
+}

crates/sui-verifier-transactional-tests/transactional-tests/tests/id_immutable/mut_borrow_key_struct_id_field.exp

@@ -0,0 +1,4 @@
+processed 1 task
+
+task 0 'publish'. lines 4-18:
+Error: Failed to verify the Move module, reason: "In function foo: ID field of struct Foo cannot be mut borrowed because ID is immutable.".

crates/sui-verifier-transactional-tests/transactional-tests/tests/id_immutable/mut_borrow_key_struct_id_field.mvir

@@ -0,0 +1,18 @@
+// Copyright (c) 2022, Mysten Labs, Inc.
+// SPDX-License-Identifier: Apache-2.0
+
+//# publish
+module 0x0.M {
+    import 0x2.ID;
+
+    struct Foo has key {
+        id: ID.VersionedID,
+    }
+
+    foo(f: Self.Foo) {
+        label l0:
+        _ = &mut (&mut f).Foo::id;
+        abort 0;
+    }
+
+}

crates/sui-verifier-transactional-tests/transactional-tests/tests/id_immutable/mut_borrow_key_struct_non_id_field.exp

@@ -0,0 +1,5 @@
+processed 1 task
+
+task 0 'publish'. lines 4-19:
+created: object(103)
+written: object(102)

crates/sui-verifier-transactional-tests/transactional-tests/tests/id_immutable/mut_borrow_key_struct_non_id_field.mvir

@@ -0,0 +1,19 @@
+// Copyright (c) 2022, Mysten Labs, Inc.
+// SPDX-License-Identifier: Apache-2.0
+
+//# publish
+module 0x0.M {
+    import 0x2.ID;
+
+    struct Foo has key {
+        id: ID.VersionedID,
+        other: ID.VersionedID,
+    }
+
+    foo(f: Self.Foo) {
+        label l0:
+        _ = &mut (&mut f).Foo::other;
+        abort 0;
+    }
+
+}

crates/sui-verifier-transactional-tests/transactional-tests/tests/id_immutable/mut_borrow_non_key_struct_id_field.exp

@@ -0,0 +1,5 @@
+processed 1 task
+
+task 0 'publish'. lines 4-18:
+created: object(103)
+written: object(102)

crates/sui-verifier-transactional-tests/transactional-tests/tests/id_immutable/mut_borrow_non_key_struct_id_field.mvir

@@ -0,0 +1,18 @@
+// Copyright (c) 2022, Mysten Labs, Inc.
+// SPDX-License-Identifier: Apache-2.0
+
+//# publish
+module 0x0.M {
+    import 0x2.ID;
+
+    struct Foo {
+        id: ID.VersionedID,
+    }
+
+    foo(f: Self.Foo) {
+        label l0:
+        _ = &mut (&mut f).Foo::id;
+        abort 0;
+    }
+
+}