diff options
| author | bors <bors@rust-lang.org> | 2024-02-11 16:44:32 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-02-11 16:44:32 +0000 |
| commit | cad872a70cb80b429d2eee8085d62310dec339ba (patch) | |
| tree | fac6348aa1fd144d3b79e4974ac5674367dec5d9 /src | |
| parent | e2b42a50aa70a305a39a947f1096b8cb9a136e04 (diff) | |
| parent | b38d871eec14628e59d234ca7cc6e1e525008164 (diff) | |
Auto merge of #3295 - RalfJung:imported_main, r=RalfJung
add tests for imported_main
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/miri/tests/pass/imported_main.rs | 8 | ||||
| -rw-r--r-- | src/tools/miri/tests/pass/imported_main.stdout | 1 |
2 files changed, 9 insertions, 0 deletions
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 00000000000..32b39152f78 --- /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 00000000000..af5626b4a11 --- /dev/null +++ b/src/tools/miri/tests/pass/imported_main.stdout @@ -0,0 +1 @@ +Hello, world! |