//! returns: 0
//! Constant unlabeled record constructor.
record Pair(i32, i32);

constant P: Pair = Pair(40, 2);

@default fn main() -> i32 {
    assert P == Pair(40, 2);
    return 0;
}