1 files changed, 39 insertions, 0 deletions
diff --git a/testsuite/tests/typing-modules/anonymous.ml b/testsuite/tests/typing-modules/anonymous.ml
new file mode 100644
index 0000000000..c250e922f1
--- /dev/null
+++ b/testsuite/tests/typing-modules/anonymous.ml
@@ -0,0 +1,39 @@
+(* TEST
+   * expect
+*)
+
+module _ = struct end;;
+[%%expect{|
+|}];;
+
+module rec A : sig
+  type t = B.t
+end = A
+and _ : sig type t = A.t end = struct type t = A.t end
+and B : sig type t end = B
+;;
+[%%expect{|
+module rec A : sig type t = B.t end
+and B : sig type t end
+|}]
+
+module type S = sig
+  module _ : sig end
+
+  module rec A : sig
+    type t = B.t
+  end
+  and _ : sig type t = A.t end
+  and B : sig type t end
+end
+;;
+[%%expect{|
+module type S =
+  sig module rec A : sig type t = B/2.t end and B : sig type t end end
+|}]
+
+let f (module _ : S) = ()
+;;
+[%%expect{|
+val f : (module S) -> unit = <fun>
+|}]