2024-02-22 12:10:29 +00:00
|
|
|
//@ edition:2018
|
2021-02-26 22:55:08 +00:00
|
|
|
|
2025-03-20 23:01:32 +00:00
|
|
|
//@ set inner_id = "$.index[?(@.name=='inner')].id"
|
2021-02-26 22:55:08 +00:00
|
|
|
pub mod inner {
|
2025-03-20 23:01:32 +00:00
|
|
|
//@ set public_id = "$.index[?(@.name=='Public')].id"
|
|
|
|
|
//@ ismany "$.index[?(@.name=='inner')].inner.module.items[*]" $public_id
|
2021-02-26 22:55:08 +00:00
|
|
|
pub struct Public;
|
|
|
|
|
}
|
2025-03-20 23:01:32 +00:00
|
|
|
//@ set import_id = "$.index[?(@.docs=='Re-export')].id"
|
2025-03-21 00:16:41 +00:00
|
|
|
//@ !has "$.index[?(@.inner.use.name=='Public')]"
|
|
|
|
|
//@ is "$.index[?(@.inner.use.name=='NewName')].inner.use.source" \"inner::Public\"
|
2023-05-22 18:17:52 +01:00
|
|
|
/// Re-export
|
2021-02-26 22:55:08 +00:00
|
|
|
pub use inner::Public as NewName;
|
2022-07-19 16:57:38 +01:00
|
|
|
|
2025-03-20 23:01:32 +00:00
|
|
|
//@ ismany "$.index[?(@.name=='rename_public')].inner.module.items[*]" $inner_id $import_id
|
