Auto merge of #3295 - RalfJung:imported_main, r=RalfJung

add tests for imported_main

Author: bors

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;

src/tools/miri/tests/pass/imported_main.stdout

@@ -0,0 +1 @@
+Hello, world!