Closure Type Inference

[uberFoo]

The lambda.tao test contains the following bit of code:

runner(|| {
    chacha::assert_eq(answer, 42);
    // This is pretty lame. I think the extent of the type checking machinery
    // is going to need to be updated.
    answer as int = 69;
});

That last line bothers me, as the comment indicates.