]>
Commit | Line | Data |
---|---|---|
6a06907d XL |
1 | // edition:2018 |
2 | ||
3 | #![no_core] | |
4 | #![feature(no_core)] | |
5 | ||
6 | // @set inner_id = rename_public.json "$.index[*][?(@.name=='inner')].id" | |
7 | // @has - "$.index[*][?(@.name=='rename_public')].inner.items[*]" $inner_id | |
8 | pub mod inner { | |
9 | // @set public_id = - "$.index[*][?(@.name=='Public')].id" | |
10 | // @has - "$.index[*][?(@.name=='inner')].inner.items[*]" $public_id | |
11 | pub struct Public; | |
12 | } | |
13 | // @set import_id = - "$.index[*][?(@.inner.name=='NewName')].id" | |
14 | // @!has - "$.index[*][?(@.inner.name=='Public')]" | |
15 | // @has - "$.index[*][?(@.name=='rename_public')].inner.items[*]" $import_id | |
cdc7bbd5 | 16 | // @is - "$.index[*][?(@.inner.name=='NewName')].inner.source" \"inner::Public\" |
6a06907d | 17 | pub use inner::Public as NewName; |