user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

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

Browse source 
add tests for imported_main
This commit is contained in:
bors 2024-02-11 16:44:32 +00:00
commit cad872a70c
2 changed files with 9 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/tools/miri/tests/pass/imported_main.rs Normal file
View file

@ -0,0 +1,8 @@
#![feature(imported_main)]
pub mod foo {
pub fn mymain() {
println!("Hello, world!");
}
}
use foo::mymain as main;

1
src/tools/miri/tests/pass/imported_main.stdout Normal file
View file

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