src/test/ui/feature-gates/feature-gate-optin-builtin-traits.rs

   1 // Test that default and negative trait implementations are gated by
   2 // `optin_builtin_traits` feature gate
   3
   4 struct DummyStruct;
   5
   6 auto trait AutoDummyTrait {}
   7 //~^ ERROR auto traits are experimental and possibly buggy
   8
   9 impl !AutoDummyTrait for DummyStruct {}
  10 //~^ ERROR negative trait bounds are not yet fully implemented; use marker types for now
  11
  12 fn main() {}