//! returns: 42

@default fn main() -> u32 {
    let x: u32 = 20;
    let a: u32 = 22;
    let x: 'r = &a, other = &x in {
        assert *x == 22;
        assert *other == 20;
        return *x + *other;
    }
}