add tests for imported_main

2024-02-11 17:42:56 +01:00 · 2024-02-11 17:42:56 +01:00 · b38d871eec
commit b38d871eec
parent a40a100e4b
2 changed files with 9 additions and 0 deletions
--- a/src/tools/miri/tests/pass/imported_main.rs
+++ b/src/tools/miri/tests/pass/imported_main.rs
@ -0,0 +1,8 @@
+#![feature(imported_main)]
+
+pub mod foo {
+    pub fn mymain() {
+        println!("Hello, world!");
+    }
+}
+use foo::mymain as main;
--- a/src/tools/miri/tests/pass/imported_main.stdout
+++ b/src/tools/miri/tests/pass/imported_main.stdout
@ -0,0 +1 @@
+Hello, world!