---

yaml
---
r: 12514
b: refs/heads/master
c: fda7bb6
h: refs/heads/master
v: v3

Author: marijnh

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 73ea690016452d7c7d732d0fd6940d6271411606
+refs/heads/master: fda7bb672134257c0466cd6b7bbf738963d2a130
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
 refs/heads/try: 2898dcc5d97da9427ac367542382b6239d9c0bbf

trunk/src/rustc/middle/trans/type_use.rs

@@ -180,6 +180,21 @@ fn mark_for_expr(cx: ctx, e: @expr) {
         // after the chosen field
         let base_ty = ty::node_id_to_type(cx.ccx.tcx, base.id);
         type_needs(cx, use_repr, ty::type_autoderef(cx.ccx.tcx, base_ty));
+
+        option::iter(cx.ccx.maps.method_map.find(e.id)) {|mth|
+            alt mth {
+              typeck::method_static(did) {
+                option::iter(cx.ccx.tcx.node_type_substs.find(e.id)) {|ts|
+                    vec::iter2(type_uses_for(cx.ccx, did, ts.len()), ts)
+                        {|uses, subst| type_needs(cx, uses, subst)}
+                }
+              }
+              typeck::method_param(_, _, param, _) {
+                cx.uses[param] |= use_tydesc;
+              }
+              typeck::method_iface(_, _) {}
+            }
+        }
       }
       expr_log(_, _, val) {
         node_type_needs(cx, use_tydesc, val.id);