//! returns: 0
//! Bracketed array elements may contain record literals in a condition.

record Box: Copy { value: i32 }

@default fn main() -> i32 {
    if [Box { value: 1 }][0].value == 1 {
        return 0;
    }
    return 1;
}