---

yaml
---
r: 15817
b: refs/heads/try
c: 8448711
h: refs/heads/master
i:
  15815: 6c6a973
v: v3

Author: catamorphism

[refs]

@@ -2,5 +2,5 @@
 refs/heads/master: 61b1875c16de39c166b0f4d54bba19f9c6777d1a
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
-refs/heads/try: bdef90730ec0187454545679f9d3bd26d8f042fa
+refs/heads/try: 8448711534904cabae76795bf771e0275365c8ef
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105

branches/try/src/rustc/middle/typeck/collect.rs

@@ -115,6 +115,7 @@ fn check_methods_against_iface(ccx: @crate_ctxt,
 
 fn convert_class_item(ccx: @crate_ctxt,
                       rp: ast::region_param,
+                      bounds: @[ty::param_bounds],
                       v: ast_util::ivar) {
     /* we want to do something here, b/c within the
     scope of the class, it's ok to refer to fields &
@@ -123,6 +124,8 @@ fn convert_class_item(ccx: @crate_ctxt,
     class. outside the class, it's done with expr_field */
     let tt = ccx.to_ty(type_rscope(rp), v.ty);
     write_ty_to_tcx(ccx.tcx, v.id, tt);
+    /* add the field to the tcache */
+    ccx.tcx.tcache.insert(local_def(v.id), {bounds: bounds, rp: rp, ty: tt});
 }
 
 fn convert_methods(ccx: @crate_ctxt,
@@ -228,6 +231,8 @@ fn convert(ccx: @crate_ctxt, it: @ast::item) {
         // Write the class type
         let tpt = ty_of_item(ccx, it);
         write_ty_to_tcx(tcx, it.id, tpt.ty);
+        tcx.tcache.insert(local_def(it.id), {bounds: tpt.bounds,
+              rp: rp, ty: tpt.ty});
         // Write the ctor type
         let t_ctor =
             ty::mk_fn(
@@ -264,7 +269,7 @@ fn convert(ccx: @crate_ctxt, it: @ast::item) {
         // Write the type of each of the members
         let (fields, methods) = split_class_items(members);
         for fields.each {|f|
-            convert_class_item(ccx, rp, f);
+           convert_class_item(ccx, rp, tpt.bounds, f);
         }
         // The selfty is just the class type
         let {bounds:_, substs} = mk_substs(ccx, tps, rp);