From b38d871eec14628e59d234ca7cc6e1e525008164 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sun, 11 Feb 2024 17:42:56 +0100
Subject: [PATCH] add tests for imported_main

---
 src/tools/miri/tests/pass/imported_main.rs     | 8 ++++++++
 src/tools/miri/tests/pass/imported_main.stdout | 1 +
 2 files changed, 9 insertions(+)
 create mode 100644 src/tools/miri/tests/pass/imported_main.rs
 create mode 100644 src/tools/miri/tests/pass/imported_main.stdout

diff --git a/src/tools/miri/tests/pass/imported_main.rs b/src/tools/miri/tests/pass/imported_main.rs
new file mode 100644
index 0000000000000..32b39152f7839
--- /dev/null
+++ 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;
diff --git a/src/tools/miri/tests/pass/imported_main.stdout b/src/tools/miri/tests/pass/imported_main.stdout
new file mode 100644
index 0000000000000..af5626b4a114a
--- /dev/null
+++ b/src/tools/miri/tests/pass/imported_main.stdout
@@ -0,0 +1 @@
+Hello, world!