1 // Test that default and negative trait implementations are gated by
2 // `auto_traits` feature gate
6 auto trait AutoDummyTrait {}
7 //~^ ERROR auto traits are experimental and possibly buggy
9 impl !AutoDummyTrait for DummyStruct {}
10 //~^ ERROR negative trait bounds are not yet fully implemented; use marker types for now