add tests

aptos-labs · Feb 27, 2024 · ed9e378 · ed9e378
1 parent d3fced6
commit ed9e378
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/third_party/move/move-compiler-v2/tests/checking/typing/recursive_struct.move b/third_party/move/move-compiler-v2/tests/checking/typing/recursive_struct.move
@@ -44,3 +44,14 @@ module 0x42::type_param {
 		f: S2<u8, S3<u8, u8>>
 	}
 }
+
+module 0x42::instantiate_with_self {
+	struct S<T> {
+		f: T
+	}
+
+	struct U {
+		// this is ok
+		f: S<S<u8>>
+	}
+}