/src/test/run-pass/autobind.rs

1fn f<T: copy>(x: ~[T]) -> T { return x[0]; }
2
3fn g(act: fn(~[int]) -> int) -> int { return act(~[1, 2, 3]); }
4
5fn main() {
6    assert (g(f) == 1);
7    let f1: fn(~[~str]) -> ~str = f;
8    assert (f1(~[~"x", ~"y", ~"z"]) == ~"x");
9}