diff options
| author | Ralf Jung <post@ralfj.de> | 2024-02-11 17:42:56 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-02-11 17:42:56 +0100 |
| commit | b38d871eec14628e59d234ca7cc6e1e525008164 (patch) | |
| tree | d300c692d769012c845a880779bfce5f31c8b776 /src | |
| parent | a40a100e4bc5db830169f59cc301a1105dd366d8 (diff) | |
| download | rust-b38d871eec14628e59d234ca7cc6e1e525008164.tar.gz rust-b38d871eec14628e59d234ca7cc6e1e525008164.zip | |
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! |