Exitable

A type that a @main function may return: it knows how to produce a process exit code.

The compiler synthesizes C main as a wrapper that calls report() on the value @main returns. report() is consuming so move-only conformers (e.g. Result) can move out their payload.