Type inference of anonymous functions

[madmann91]

The following piece of code generates a type checking error, even though it should be accepted:

fn main() -> i32 {
    let id = |x| x;
    id(1i32) + id(1i32)
}

[madmann91]

Fixed.