rust/src/test/ui/traits/negative-impls/positive-specializes-negative.rs

#![feature(specialization)]
#![feature(negative_impls)]

trait MyTrait {}

impl<T> !MyTrait for T {}
impl MyTrait for u32 {} //~ ERROR E0751

fn main() {}
permit negative impls for non-auto traits 2020-01-08 05:39:38 -06:00			`#![feature(specialization)]`
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 04:56:38 -06:00			`#![feature(negative_impls)]`
permit negative impls for non-auto traits 2020-01-08 05:39:38 -06:00
make a custom error for overlap with negative impls 2020-01-08 13:10:59 -06:00			`trait MyTrait {}`
permit negative impls for non-auto traits 2020-01-08 05:39:38 -06:00
make a custom error for overlap with negative impls 2020-01-08 13:10:59 -06:00			`impl<T> !MyTrait for T {}`
fix error code for E0751 2020-04-22 07:18:22 -05:00			`impl MyTrait for u32 {} //~ ERROR E0751`
permit negative impls for non-auto traits 2020-01-08 05:39:38 -06:00
make a custom error for overlap with negative impls 2020-01-08 13:10:59 -06:00			`fn main() {}`