1 2 3 4 5
fn quux<T: copy>(x: T) -> T { let f = id::<T>(_); ret f(x); } fn id<T: copy>(x: T) -> T { ret x; } fn main() { assert (quux(10) == 10); }