gistfile1.txt

struct Foo { f: int }

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

fn foo(_: &Foo) {
}

fn main() {
  let s : &~Foo = &~Foo{ f: 2 };
  s.bar(); // ok, cast to '&Foo' happens
  foo(s);  // error: mismatched types: expected `&Foo` but found `&~Foo`
}