2021-08-28 22:01:56 +09:00
|
|
|
//@ edition:2018
|
|
|
|
|
2023-03-21 16:44:06 +01:00
|
|
|
#![feature(rustc_attrs)]
|
2021-08-28 22:01:56 +09:00
|
|
|
|
2023-03-21 16:44:06 +01:00
|
|
|
#[rustc_doc_primitive = "usize"]
|
2021-08-28 22:01:56 +09:00
|
|
|
mod usize {}
|
|
|
|
|
2024-07-19 16:50:47 +02:00
|
|
|
//@ set local_crate_id = "$.index[*][?(@.name=='use_primitive')].crate_id"
|
2021-08-28 22:01:56 +09:00
|
|
|
|
2024-07-19 16:50:47 +02: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 21:24:14 +02:00
|
|
|
|
2024-08-05 00:44:35 +01:00
|
|
|
//@ is "$.index[*].inner.use[?(@.name=='my_i32')].id" null
|
2022-07-19 21:24:14 +02:00
|
|
|
pub use i32 as my_i32;
|
2024-08-05 00:44:35 +01:00
|
|
|
//@ is "$.index[*].inner.use[?(@.name=='u32')].id" null
|
2022-07-19 21:24:14 +02:00
|
|
|
pub use u32;
|