Add edited tests to dig deeper into differences between V1 and V2 tes…

…t outputs

third_party/move/move-compiler-v2/tests/checking/typing/recursive_constant.exp

@@ -0,0 +1,9 @@
+// -- Model dump before bytecode pipeline
+module 0x42::M {
+    public fun get_x(): u64 {
+        false
+    }
+    public fun get_y(): u64 {
+        false
+    }
+} // end 0x42::M

third_party/move/move-compiler-v2/tests/checking/typing/recursive_constant.move

@@ -0,0 +1,15 @@
+address 0x42 {
+module M {
+    const X: u64 = Y;
+    const Y: u64 = X;
+    const Z: u64 = 0;
+
+    public fun get_x(): u64 {
+        X
+    }
+
+    public fun get_y(): u64 {
+        Y
+    }
+}
+}

third_party/move/move-compiler-v2/tests/more-v1/expansion/use_nested_self_as_invalid2.exp

@@ -0,0 +1,13 @@
+
+Diagnostics:
+warning: unused alias
+  ┌─ tests/more-v1/expansion/use_nested_self_as_invalid2.move:8:26
+  │
+8 │     use 0x2::X::{Self as B, foo, S};
+  │                          ^ Unused 'use' of alias 'B'. Consider removing it
+
+error: variants not allowed in this context
+   ┌─ tests/more-v1/expansion/use_nested_self_as_invalid2.move:10:19
+   │
+10 │     struct X { f: X::S, f2: S }
+   │                   ^^^^

third_party/move/move-compiler-v2/tests/more-v1/expansion/use_nested_self_as_invalid2.move

@@ -0,0 +1,16 @@
+address 0x2 {
+module X {
+    struct S {}
+    public fun foo() {}
+}
+
+module M {
+    use 0x2::X::{Self as B, foo, S};
+
+    struct X { f: X::S, f2: S }
+    fun bar() {
+        // X::foo();
+        foo()
+    }
+}
+}

third_party/move/move-compiler/tests/move_check/expansion/use_nested_self_as_invalid2.exp

@@ -0,0 +1,12 @@
+warning[W09001]: unused alias
+  ┌─ tests/move_check/expansion/use_nested_self_as_invalid2.move:8:26
+  │
+8 │     use 0x2::X::{Self as B, foo, S};
+  │                          ^ Unused 'use' of alias 'B'. Consider removing it
+
+error[E03002]: unbound module
+   ┌─ tests/move_check/expansion/use_nested_self_as_invalid2.move:10:19
+   │
+10 │     struct X { f: X::S, f2: S }
+   │                   ^ Unbound module or type alias 'X'
+

third_party/move/move-compiler/tests/move_check/expansion/use_nested_self_as_invalid2.move

@@ -0,0 +1,16 @@
+address 0x2 {
+module X {
+    struct S {}
+    public fun foo() {}
+}
+
+module M {
+    use 0x2::X::{Self as B, foo, S};
+
+    struct X { f: X::S, f2: S }
+    fun bar() {
+        // X::foo();
+        foo()
+    }
+}
+}

third_party/move/move-compiler/tests/move_check/typing/recursive_constant.exp

@@ -0,0 +1,12 @@
+error[E04013]: invalid statement or expression in constant
+  ┌─ tests/move_check/typing/recursive_constant.move:3:20
+  │
+3 │     const X: u64 = Y;
+  │                    ^ Other constants are not supported in constants
+
+error[E04013]: invalid statement or expression in constant
+  ┌─ tests/move_check/typing/recursive_constant.move:4:20
+  │
+4 │     const Y: u64 = X;
+  │                    ^ Other constants are not supported in constants
+

third_party/move/move-compiler/tests/move_check/typing/recursive_constant.move

@@ -0,0 +1,15 @@
+address 0x42 {
+module M {
+    const X: u64 = Y;
+    const Y: u64 = X;
+    const Z: u64 = 0;
+
+    public fun get_x(): u64 {
+        X
+    }
+
+    public fun get_y(): u64 {
+        Y
+    }
+}
+}