/src/test/run-pass/resource-destruct.rs

 1class shrinky_pointer {
 2  let i: @@mut int;
 3  fn look_at() -> int { return **(self.i); }
 4  new(i: @@mut int) { self.i = i; }
 5  drop { log(error, ~"Hello!"); **(self.i) -= 1; }
 6}
 7
 8fn main() {
 9    let my_total = @@mut 10;
10    { let pt <- shrinky_pointer(my_total); assert (pt.look_at() == 10); }
11    log(error, fmt!{"my_total = %d", **my_total});
12    assert (**my_total == 9);
13}