// no arg to main(u64) is an error

main(x: u64) {
    return;
}

// check: Discard
// check: TypeMismatch