---

yaml
---
r: 10732
b: refs/heads/snap-stage3
c: cf69604
h: refs/heads/master
v: v3

Author: catamorphism

[refs]

@@ -1,6 +1,6 @@
 ---
 refs/heads/master: 2898dcc5d97da9427ac367542382b6239d9c0bbf
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
-refs/heads/snap-stage3: d513d9893ecd416943d96822f794c3212c8b60b8
+refs/heads/snap-stage3: cf69604551324f68d1fc7ab0386ecbe9e1aaa504
 refs/heads/try: 2898dcc5d97da9427ac367542382b6239d9c0bbf
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105

branches/snap-stage3/src/rustc/middle/ty.rs

@@ -1218,7 +1218,6 @@ fn type_needs_drop(cx: ctxt, ty: t) -> bool {
            accum
          }
       }
-
       ty_tup(elts) {
         for elts.each {|m| if type_needs_drop(cx, m) { accum = true; } }
         accum
@@ -1720,6 +1719,7 @@ fn is_instantiable(cx: ctxt, r_ty: t) -> bool {
 fn type_structurally_contains(cx: ctxt, ty: t, test: fn(sty) -> bool) ->
    bool {
     let sty = get(ty).struct;
+    #debug("type_structurally_contains: %s", ty_to_str(cx, ty));
     if test(sty) { ret true; }
     alt sty {
       ty_enum(did, substs) {
@@ -1737,6 +1737,14 @@ fn type_structurally_contains(cx: ctxt, ty: t, test: fn(sty) -> bool) ->
         }
         ret false;
       }
+      ty_class(did, substs) {
+        for lookup_class_fields(cx, did).each {|field|
+            let ft = lookup_field_type(cx, did, field.id, substs);
+            if type_structurally_contains(cx, ft, test) { ret true; }
+        }
+        ret false;
+      }
+
       ty_tup(ts) {
         for ts.each {|tt|
             if type_structurally_contains(cx, tt, test) { ret true; }

branches/snap-stage3/src/test/compile-fail/issue-2718-a.rs

@@ -0,0 +1,12 @@
+class send_packet<T: copy> {
+  let p: T;
+  new(p: T) { self.p = p; }
+}
+
+
+mod pingpong {
+    type ping = send_packet<pong>;
+    enum pong = send_packet<ping>; //! ERROR illegal recursive enum type; wrap the inner value in a box to make it representable
+}
+
+fn main() {}