blob: d383897e4382bca6eac590311c6234423f422eb1 [file] [log] [blame]
//@ revisions: default feature
//@ only-x86_64
#![cfg_attr(feature, feature(effective_target_features))]
//[feature]~^ WARN the feature `effective_target_features` is incomplete and may not be safe to use and/or cause compiler crashes
trait Foo {
fn foo(&self);
}
struct Bar;
impl Foo for Bar {
#[unsafe(force_target_feature(enable = "avx2"))]
//[default]~^ ERROR the `#[force_target_feature]` attribute is an experimental feature
fn foo(&self) {}
}
struct Bar2;
impl Foo for Bar2 {
#[target_feature(enable = "avx2")]
//~^ ERROR `#[target_feature(..)]` cannot be applied to safe trait method
fn foo(&self) {}
//~^ ERROR method `foo` has an incompatible type for trait
}
fn main() {}