src/test/run-pass/generic-temporary.rs


1
2
3
4
5
6
7
8
9
10
11
12
13


fn mk() -> int { ret 1; }

fn chk(&&a: int) { log a; assert (a == 1); }

fn apply<T>(produce: fn() -> T, consume: fn(T)) { consume(produce()); }

fn main() {
    let produce: fn() -> int = mk;
    let consume: fn(&&int) = chk;
    apply::<int>(produce, consume);
}