Merge pull request #1384 from RalfJung/exec

Mark-Simulacrum · web-flow · commit a53dca7d10d3 · 2022-08-02T18:27:22.000-04:00
exec should not return
diff --git a/collector/src/rustc-fake.rs b/collector/src/rustc-fake.rs
@@ -465,7 +465,7 @@ fn process_self_profile_output(prof_out_dir: PathBuf, args: &[OsString]) {
 }
 
 #[cfg(windows)]
-fn exec(cmd: &mut Command) {
+fn exec(cmd: &mut Command) -> ! {
     let cmd_d = format!("{:?}", cmd);
     match cmd.status() {
         Ok(status) => std::process::exit(status.code().unwrap_or(1)),

Original file line number	Diff line number	Diff line change
`@@ -465,7 +465,7 @@ fn process_self_profile_output(prof_out_dir: PathBuf, args: &[OsString]) {`
`465`	`465`	`}`
`466`	`466`
`467`	`467`	`#[cfg(windows)]`
`468`		`-fn exec(cmd: &mut Command) {`
	`468`	`+fn exec(cmd: &mut Command) -> ! {`
`469`	`469`	`let cmd_d = format!("{:?}", cmd);`
`470`	`470`	`match cmd.status() {`
`471`	`471`	`Ok(status) => std::process::exit(status.code().unwrap_or(1)),`