1 files changed, 5 insertions, 2 deletions
diff --git a/testsuite/tests/typing-recmod/t19ok.ml b/testsuite/tests/typing-recmod/t19ok.ml
index 62e5f45486..e51fa5c922 100644
--- a/testsuite/tests/typing-recmod/t19ok.ml
+++ b/testsuite/tests/typing-recmod/t19ok.ml
@@ -5,8 +5,11 @@ module PR_4758 = struct
   module type Mod = sig
     module Other : S
   end
-  module rec A : S = struct
-  end and C : sig include Mod with module Other = A end = struct
+  module rec A : S = struct end
+  and C : sig include Mod with module Other = A end = struct
     module Other = A
   end
+  module C' = C  (* check that we can take an alias *)
+  module F(X:sig end) = struct type t end
+  let f (x : F(C).t) = (x : F(C').t)
 end