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>>
+	}
+}