2021-08-28 08:01:56 -05:00
|
|
|
//@ edition:2018
|
|
|
|
|
2023-03-21 10:44:06 -05:00
|
|
|
#![feature(rustc_attrs)]
|
2021-08-28 08:01:56 -05:00
|
|
|
|
2023-03-21 10:44:06 -05:00
|
|
|
#[rustc_doc_primitive = "usize"]
|
2021-08-28 08:01:56 -05:00
|
|
|
mod usize {}
|
|
|
|
|
2024-07-19 09:50:47 -05:00
|
|
|
//@ set local_crate_id = "$.index[*][?(@.name=='use_primitive')].crate_id"
|
2021-08-28 08:01:56 -05:00
|
|
|
|
2024-07-19 09:50:47 -05:00
|
|
|
//@ has "$.index[*][?(@.name=='ilog10')]"
|
|
|
|
//@ !is "$.index[*][?(@.name=='ilog10')].crate_id" $local_crate_id
|
|
|
|
//@ has "$.index[*][?(@.name=='checked_add')]"
|
|
|
|
//@ !is "$.index[*][?(@.name=='checked_add')]" $local_crate_id
|
|
|
|
//@ !has "$.index[*][?(@.name=='is_ascii_uppercase')]"
|
2022-07-19 14:24:14 -05:00
|
|
|
|
2024-08-04 18:44:35 -05:00
|
|
|
//@ is "$.index[*].inner.use[?(@.name=='my_i32')].id" null
|
2022-07-19 14:24:14 -05:00
|
|
|
pub use i32 as my_i32;
|
2024-08-04 18:44:35 -05:00
|
|
|
//@ is "$.index[*].inner.use[?(@.name=='u32')].id" null
|
2022-07-19 14:24:14 -05:00
|
|
|
pub use u32;
|