rust/tests/ui/traits/negative-impls/negative-default-impls.rs

#![feature(negative_impls)]
#![feature(specialization)]
//~^ WARN the feature `specialization` is incomplete

trait MyTrait {
    type Foo;
}

default impl !MyTrait for u32 {} //~ ERROR negative impls cannot be default impls

fn main() {}
introduce `negative_impls` feature gate and document They used to be covered by `optin_builtin_traits` but negative impls are now applicable to all traits, not just auto traits. This also adds docs in the unstable book for the current state of auto traits. 2020-01-09 10:56:38 +00:00			`#![feature(negative_impls)]`
permit negative impls for non-auto traits 2020-01-08 11:39:38 +00:00			`#![feature(specialization)]`
warn against 'specialization' feature 2020-05-17 08:22:48 +00:00			//~^ WARN the feature `specialization` is incomplete
permit negative impls for non-auto traits 2020-01-08 11:39:38 +00:00
			`trait MyTrait {`
			`type Foo;`
			`}`

			`default impl !MyTrait for u32 {} //~ ERROR negative impls cannot be default impls`

			`fn main() {}`