// two args to main(u64) is an error

//! args: 1, 2

main(x: u64) {
    return;
}

// check: Discard
// check: TypeMismatch