diff --git a/src/test/run-pass/instantiable.rs b/src/test/run-pass/instantiable.rs
new file mode 100644
index 00000000000..f9389ba8ce3
--- /dev/null
+++ b/src/test/run-pass/instantiable.rs
@@ -0,0 +1,9 @@
+
+// check that we do not report a type like this as uninstantiable,
+// even though it would be if the nxt field had type @foo:
+enum foo = {x: uint, nxt: *foo};
+
+fn main() {
+    let x = foo({x: 0u, nxt: ptr::null()});
+}
+