E0370

main declares a capability that has no runtime yet: Net, NetConnect, NetListen, Spawn, or Sched. Spans main's body. (A main that declares a directory or file capability is already refused by the checker, E0217.)

Machine-applicable fix: none.

Example

This program fails with E0370.

fn main(net: Net) -> Result<(), IoError> {
    Ok(())
}

Fixed

The same program, fixed.

fn main(io: Stdout) -> Result<(), IoError> {
    io.println("hello")
}

Listed in the runtime notes. oskac explain E0370 prints this entry offline.

All error codes