//@ run-pass

#![allow(unused_variables)]

pub fn main() {
    // We should be able to type infer inside of ||s.
    let _f = || {
        let i = 10;
    };
}