fn main(x: isize) { } //~ ERROR: `main` function has wrong type [E0580]