Auto merge of #3391 - RalfJung:dedup, r=RalfJung

remove duplicate test This is basically the same as `tests/pass/imported_main.rs`.
2024-03-19 06:57:55 +00:00 · 2024-03-19 06:57:55 +00:00 · 67966f3e80
commit 67966f3e80
parent bca5e2c1be 92a841d669
1 changed files with 0 additions and 5 deletions
--- a/src/tools/miri/tests/pass/main_fn.rs
+++ b/src/tools/miri/tests/pass/main_fn.rs
@ -1,5 +0,0 @@
-mod foo {
-    pub(crate) fn bar() {}
-}
-
-use foo::bar as main;