---

nikomatsakis · nikomatsakis · commit 8bda0cc0e952 · 2012-05-18T10:38:18.000-07:00
yaml --- r: 12863 b: refs/heads/master c: afca68b h: refs/heads/master i: 12861: f391b5a 12859: 5b05207 12855: 4cda8e3 12847: 9457049 12831: 28d0e5f 12799: 4fb7e71 v: v3
diff --git a/[refs] b/[refs]
@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 5be8bf1de710338c464a8c107f959ebae4c78a6a
+refs/heads/master: afca68b82089db479594c1d012375c7791cb5bd5
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
 refs/heads/try: 2898dcc5d97da9427ac367542382b6239d9c0bbf
diff --git a/trunk/src/test/run-pass/instantiable.rs b/trunk/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()});
+}
+
