Migrate run-make/const-prop-lint to rmake.rs

Author: GuillaumeGomez

src/tools/tidy/src/allowed_run_make_makefiles.txt

@@ -22,7 +22,6 @@ run-make/compiler-lookup-paths-2/Makefile
 run-make/compiler-lookup-paths/Makefile
 run-make/compiler-rt-works-on-mingw/Makefile
 run-make/compressed-debuginfo/Makefile
-run-make/const-prop-lint/Makefile
 run-make/const_fn_mir/Makefile
 run-make/crate-data-smoke/Makefile
 run-make/crate-hash-rustc-version/Makefile

tests/run-make/const-prop-lint/Makefile

@@ -0,0 +1,19 @@
+// Test that emitting an error because of arithmetic overflow lint does not leave .o files around
+// because of interrupted codegen.
+
+use std::fs;
+
+use run_make_support::{rustc, tmp_dir};
+
+fn main() {
+    rustc().input("input.rs").run_fail_assert_exit_code(1);
+
+    for entry in fs::read_dir(tmp_dir()).unwrap() {
+        let entry = entry.unwrap();
+        let path = entry.path();
+
+        if path.is_file() && path.extension().and_then(|ext| ext.to_str()) == Some("o") {
+            panic!("There should not be `.o` files!");
+        }
+    }
+}