Incorrect code accepted

[madmann91]

The following code should not be accepted:

fn main(i : int) -> int {
    (|i| i) (1, 2)
}

But Impala accepts it happily (and then breaks during code generation).

[madmann91]

Fixed.