src/test/run-pass/generic-fn-infer.rs

// -*- rust -*-

// Issue #45: infer type parameters in function applications
fn id<T: Copy>(x: T) -> T { return x; }

fn main() { let x: int = 42; let y: int = id(x); assert (x == y); }