blob: 0bed0ad18c31b6e6e36253f413dc05b8ff0ea1a3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
#![feature(optimize_attribute)]
//@ is "$.index[?(@.name=='speed')].attrs" '["#[attr = Optimize(Speed)]"]'
#[optimize(speed)]
pub fn speed() {}
//@ is "$.index[?(@.name=='size')].attrs" '["#[attr = Optimize(Size)]"]'
#[optimize(size)]
pub fn size() {}
//@ is "$.index[?(@.name=='none')].attrs" '["#[attr = Optimize(DoNotOptimize)]"]'
#[optimize(none)]
pub fn none() {}
|
