---

yaml
---
r: 20914
b: refs/heads/snap-stage3
c: f3b2296
h: refs/heads/master
v: v3

Author: catamorphism

[refs]

@@ -1,7 +1,7 @@
 ---
 refs/heads/master: e430a699f2c60890d9b86069fd0c68a70ece7120
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
-refs/heads/snap-stage3: aacd18f4ed860420cb89cd103a9832ef47e838f3
+refs/heads/snap-stage3: f3b2296ee4d2cdd902207cdc52b35dbe4e50427c
 refs/heads/try: ffbe0e0e00374358b789b0037bcb3a577cd218be
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b

branches/snap-stage3/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/snap-stage3/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
+}