src/test/run-pass/autobind.rs


1
2
3
4
5
6
7
8
9

fn f<T: copy>(x: ~[T]) -> T { ret x[0]; }

fn g(act: fn(~[int]) -> int) -> int { ret act(~[1, 2, 3]); }

fn main() {
    assert (g(f) == 1);
    let f1: fn(~[str]) -> str = f;
    assert (f1(~["x", "y", "z"]) == "x");
}