rust/tests/ui/coherence/coherence-default-trait-impl.rs

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

auto trait MySafeTrait {}

struct Foo;

unsafe impl MySafeTrait for Foo {}
//~^ ERROR E0199

unsafe auto trait MyUnsafeTrait {}

impl MyUnsafeTrait for Foo {}
//~^ ERROR E0200

fn main() {}
Rename `optin_builtin_traits` to `auto_traits` They were originally called "opt-in, built-in traits" (OIBITs), but people realized that the name was too confusing and a mouthful, and so they were renamed to just "auto traits". The feature flag's name wasn't updated, though, so that's what this PR does. There are some other spots in the compiler that still refer to OIBITs, but I don't think changing those now is worth it since they are internal and not particularly relevant to this PR. Also see <https://rust-lang.zulipchat.com/#narrow/stream/131828-t-compiler/topic/opt-in.2C.20built-in.20traits.20(auto.20traits).20feature.20name>. 2020-11-22 19:54:31 -08:00			`#![feature(auto_traits)]`
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 05:56:38 -05:00			`#![feature(negative_impls)]`
Test all the things 2015-01-27 01:07:31 +01:00
Adjust tests for removal of `impl Foo for .. {}` 2017-12-03 10:56:53 -02:00			`auto trait MySafeTrait {}`
Test all the things 2015-01-27 01:07:31 +01:00
Adjust tests for removal of `impl Foo for .. {}` 2017-12-03 10:56:53 -02:00			`struct Foo;`
Check trait unsafety for defaulted traits 2015-03-11 18:53:55 -05:00
Adjust tests for removal of `impl Foo for .. {}` 2017-12-03 10:56:53 -02:00			`unsafe impl MySafeTrait for Foo {}`
Stabilize the `re_rebalance_coherence` feature 2019-10-26 17:28:02 +02:00			`//~^ ERROR E0199`
Check trait unsafety for defaulted traits 2015-03-11 18:53:55 -05:00
Adjust tests for removal of `impl Foo for .. {}` 2017-12-03 10:56:53 -02:00			`unsafe auto trait MyUnsafeTrait {}`
Check trait unsafety for defaulted traits 2015-03-11 18:53:55 -05:00
Adjust tests for removal of `impl Foo for .. {}` 2017-12-03 10:56:53 -02:00			`impl MyUnsafeTrait for Foo {}`
Stabilize the `re_rebalance_coherence` feature 2019-10-26 17:28:02 +02:00			`//~^ ERROR E0200`
Check trait unsafety for defaulted traits 2015-03-11 18:53:55 -05:00
Test all the things 2015-01-27 01:07:31 +01:00			`fn main() {}`