Skip to content

Commit

Permalink
rustc: Don't translate the expression twice when adapting a borrowed …
Browse files Browse the repository at this point in the history
…method receiver. Closes #3357.

Adds a test case. I had to stare at this one for a bit.
  • Loading branch information
pcwalton committed Sep 2, 2012
1 parent 49c9ac1 commit b808cfb
Show file tree
Hide file tree
Showing 3 changed files with 20 additions and 1 deletion.
5 changes: 4 additions & 1 deletion src/rustc/middle/trans/base.rs
Original file line number Diff line number Diff line change
Expand Up @@ -3151,6 +3151,9 @@ fn trans_arg_expr(cx: block, arg: ty::arg, lldestty: TypeRef, e: @ast::expr,
// routine consults this table and performs these adaptations. It returns a
// new location for the borrowed result as well as a new type for the argument
// that reflects the borrowed value and not the original.
//
// NB: "e" has already been translated; do not translate it again. If you do,
// this will cause problems with autoderef and method receivers (bug #3357).
fn adapt_borrowed_value(lv: lval_result,
e: @ast::expr,
e_ty: ty::t) -> {lv: lval_result,
Expand Down Expand Up @@ -3200,7 +3203,7 @@ fn adapt_borrowed_value(lv: lval_result,

_ => {
// Just take a reference. This is basically like trans_addr_of.
let mut {bcx, val, kind} = trans_temp_lval(bcx, e);
let mut {bcx, val, kind} = lv;
let is_immediate = ty::type_is_immediate(e_ty);
if (kind == lv_temporary && is_immediate) || kind == lv_owned_imm {
val = do_spill(bcx, val, e_ty);
Expand Down
1 change: 1 addition & 0 deletions src/rustc/middle/typeck/check/method.rs
Original file line number Diff line number Diff line change
Expand Up @@ -183,6 +183,7 @@ struct lookup {
match ty::deref(self.tcx(), self.self_ty, false) {
None => break,
Some(mt) => {
debug!("(checking method) ... autodereffing");
self.self_ty = mt.ty;
self.derefs += 1u;
}
Expand Down
15 changes: 15 additions & 0 deletions src/test/run-pass/autoderef-and-borrow-method-receiver.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,15 @@
struct Foo {
x: int;
}

impl Foo {
fn f(&self) {}
}

fn g(x: &mut Foo) {
x.f();
}

fn main() {
}

0 comments on commit b808cfb

Please sign in to comment.