From ed9e378d65176e9625a7761e8d914fad8301169f Mon Sep 17 00:00:00 2001
From: Zekun Wang <zekun.wang@aptoslabs.com>
Date: Tue, 27 Feb 2024 05:06:26 -0500
Subject: [PATCH] add tests

---
 .../tests/checking/typing/recursive_struct.move       | 11 +++++++++++
 1 file changed, 11 insertions(+)

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
index eebaec4461363d..ce6c091df37d9b 100644
--- 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>>
+	}
+}