Change Termination::report return type to ExitCode#93442

bors merged 2 commits intorust-lang:masterrust-lang/rust:masterfrom

yaahc:Termination-abstractionyaahc/rust:Termination-abstractionCopy head branch name to clipboard