---

yaml
---
r: 31684
b: refs/heads/dist-snap
c: f3b2296
h: refs/heads/master
v: v3

Author: catamorphism

[refs]

@@ -7,6 +7,6 @@ refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b
 refs/heads/try2: d0c6ce338884ee21843f4b40bf6bf18d222ce5df
 refs/heads/incoming: d9317a174e434d4c99fc1a37fd7dc0d2f5328d37
-refs/heads/dist-snap: aacd18f4ed860420cb89cd103a9832ef47e838f3
+refs/heads/dist-snap: f3b2296ee4d2cdd902207cdc52b35dbe4e50427c
 refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596
 refs/tags/release-0.3: b5f0d0f648d9a6153664837026ba1be43d3e2503

branches/dist-snap/src/rustc/middle/trans/impl.rs

@@ -14,6 +14,9 @@ import lib::llvm::llvm;
 import lib::llvm::{ValueRef, TypeRef};
 import lib::llvm::llvm::LLVMGetParam;
 import std::map::hashmap;
+import util::ppaux::{ty_to_str, tys_to_str};
+
+import syntax::print::pprust::expr_to_str;
 
 fn trans_impl(ccx: @crate_ctxt, path: path, name: ast::ident,
               methods: ~[@ast::method], tps: ~[ast::ty_param]) {
@@ -70,6 +73,9 @@ fn trans_method_callee(bcx: block, callee_id: ast::node_id,
       typeck::method_trait(_, off) => {
         let {bcx, val} = trans_temp_expr(bcx, self);
         let fty = node_id_type(bcx, callee_id);
+        let self_ty = node_id_type(bcx, self.id);
+        let {bcx, val, _} = autoderef(bcx, self.id, val, self_ty,
+                                      uint::max_value);
         trans_trait_callee(bcx, val, fty, off)
       }
     }

branches/dist-snap/src/test/run-pass/issue-2935.rs

@@ -0,0 +1,24 @@
+//type t = { a: int };
+// type t = { a: bool };
+type t = bool;
+
+trait it {
+    fn f();
+}
+
+impl  of it for t {
+    fn f() { }
+}
+
+fn main() {
+  //    let x = ({a: 4i} as it);
+  //   let y = @({a: 4i});
+  //    let z = @({a: 4i} as it);
+  //    let z = @({a: true} as it);
+    let z = @(true as it);
+    //  x.f();
+    // y.f();
+    // (*z).f();
+    #error["ok so far..."];
+    z.f(); //segfault
+}