summaryrefslogtreecommitdiffstats
path: root/tests/ui/feature-gates/feature-gate-auto-traits.rs
blob: 80cfa9cee8959b985038d5c5ab9ad1e300b37b64 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
// Test that default and negative trait implementations are gated by
// `auto_traits` feature gate

struct DummyStruct;

auto trait AutoDummyTrait {}
//~^ ERROR auto traits are experimental and possibly buggy

impl !AutoDummyTrait for DummyStruct {}
//~^ ERROR negative trait bounds are not yet fully implemented; use marker types for now

fn main() {}