From 404ac8310109bcca06289f2e237017caa419e1d6 Mon Sep 17 00:00:00 2001
From: Sam Vervaeck <samvv@pm.me>
Date: Sun, 18 Sep 2022 21:36:32 +0200
Subject: [PATCH] Add a test for module references inside type expressions

---
 src/test/type-inference.md | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/src/test/type-inference.md b/src/test/type-inference.md
index c934bcec1..900568fde 100644
--- a/src/test/type-inference.md
+++ b/src/test/type-inference.md
@@ -185,3 +185,13 @@ let foo_1 : (Int, Int, Int) = (1, 2, 3)
 let foo_2 : (Int, Int, Int) = (1, 2, "foo")
 ```
 
+## Module references work
+
+```
+mod CD.
+  mod A.
+    struct Foo
+  mod B.
+    let alpha: A.Foo
+```
+