2025-06-23 17:02:13 +00:00
|
|
|
#![feature(optimize_attribute)]
|
|
|
|
|
|
2025-06-20 02:48:15 +00:00
|
|
|
//@ is "$.index[?(@.name=='speed')].attrs" '[{"other": "#[attr = Optimize(Speed)]"}]'
|
2025-06-23 17:02:13 +00:00
|
|
|
#[optimize(speed)]
|
|
|
|
|
pub fn speed() {}
|
|
|
|
|
|
2025-06-20 02:48:15 +00:00
|
|
|
//@ is "$.index[?(@.name=='size')].attrs" '[{"other": "#[attr = Optimize(Size)]"}]'
|
2025-06-23 17:02:13 +00:00
|
|
|
#[optimize(size)]
|
|
|
|
|
pub fn size() {}
|
|
|
|
|
|
2025-06-20 02:48:15 +00:00
|
|
|
//@ is "$.index[?(@.name=='none')].attrs" '[{"other": "#[attr = Optimize(DoNotOptimize)]"}]'
|
2025-06-23 17:02:13 +00:00
|
|
|
#[optimize(none)]
|
|
|
|
|
pub fn none() {}
|