| #![feature(optimize_attribute)] | |
| //@ is "$.index[?(@.name=='speed')].attrs" '[{"other": "#[attr = Optimize(Speed)]"}]' | |
| #[optimize(speed)] | |
| pub fn speed() {} | |
| //@ is "$.index[?(@.name=='size')].attrs" '[{"other": "#[attr = Optimize(Size)]"}]' | |
| #[optimize(size)] | |
| pub fn size() {} | |
| //@ is "$.index[?(@.name=='none')].attrs" '[{"other": "#[attr = Optimize(DoNotOptimize)]"}]' | |
| #[optimize(none)] | |
| pub fn none() {} |