From d89df6125afa68827728c2109500bcc803b02f75 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

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

diff --git a/tests/pass/imported_main.rs b/tests/pass/imported_main.rs
new file mode 100644
index 0000000000..32b39152f7
--- /dev/null
+++ b/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/tests/pass/imported_main.stdout b/tests/pass/imported_main.stdout
new file mode 100644
index 0000000000..af5626b4a1
--- /dev/null
+++ b/tests/pass/imported_main.stdout
@@ -0,0 +1 @@
+Hello, world!