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