// run-pass

fn quux<T>(x: T) -> T { let f = id::<T>; return f(x); }

fn id<T>(x: T) -> T { return x; }

pub fn main() { assert_eq!(quux(10), 10); }