src/test/ui/feature-gates/feature-gate-optimize_attribute.rs

   1 #![crate_type="rlib"]
   2 #![optimize(speed)] //~ ERROR the `#[optimize]` attribute is an experimental feature
   3
   4 #[optimize(size)] //~ ERROR the `#[optimize]` attribute is an experimental feature
   5 mod module {
   6
   7 #[optimize(size)] //~ ERROR the `#[optimize]` attribute is an experimental feature
   8 fn size() {}
   9
  10 #[optimize(speed)] //~ ERROR the `#[optimize]` attribute is an experimental feature
  11 fn speed() {}
  12
  13 #[optimize(banana)]
  14 //~^ ERROR the `#[optimize]` attribute is an experimental feature
  15 //~| ERROR E0722
  16 fn not_known() {}
  17
  18 }