rust/tests/ui/coherence/coherence-orphan.rs

// aux-build:coherence_orphan_lib.rs
#![feature(negative_impls)]

extern crate coherence_orphan_lib as lib;

use lib::TheTrait;

struct TheType;

impl TheTrait<usize> for isize { }
//~^ ERROR E0117

impl TheTrait<TheType> for isize { }

impl TheTrait<isize> for TheType { }

impl !Send for Vec<isize> { } //~ ERROR E0117
//~^ WARNING
//~| WARNING this will change its meaning

fn main() { }
rustc: Add support for `extern crate foo as bar` The compiler will now issue a warning for crates that have syntax of the form `extern crate "foo" as bar`, but it will still continue to accept this syntax. Additionally, the string `foo-bar` will match the crate name `foo_bar` to assist in the transition period as well. This patch will land hopefully in tandem with a Cargo patch that will start translating all crate names to have underscores instead of hyphens. cc #23533 2015-03-19 22:39:03 +00:00			`// aux-build:coherence_orphan_lib.rs`
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)]`
addressed comments 2015-01-13 19:21:19 +00:00
rustc: Add support for `extern crate foo as bar` The compiler will now issue a warning for crates that have syntax of the form `extern crate "foo" as bar`, but it will still continue to accept this syntax. Additionally, the string `foo-bar` will match the crate name `foo_bar` to assist in the transition period as well. This patch will land hopefully in tandem with a Cargo patch that will start translating all crate names to have underscores instead of hyphens. cc #23533 2015-03-19 22:39:03 +00:00			`extern crate coherence_orphan_lib as lib;`
Adjust orphan rules to consider all input types, not just self type. Fixes #18222. 2014-10-22 03:48:39 +00:00
			`use lib::TheTrait;`

			`struct TheType;`

Remove the coherence impls pass that was specialized to builtin bounds, since there are separate checks that apply to Copy (and Send uses the generic defaulted trait rules). Also prohibit `Sized` from being manually implemented for now. 2015-03-06 20:55:30 +00:00			`impl TheTrait<usize> for isize { }`
Stabilize the `re_rebalance_coherence` feature 2019-10-26 15:28:02 +00:00			`//~^ ERROR E0117`
Adjust orphan rules to consider all input types, not just self type. Fixes #18222. 2014-10-22 03:48:39 +00:00
Update the coherence rules to "covered first" -- the first type parameter to contain either a local type or a type parameter must contain only covered type parameters. 2015-01-30 23:46:53 +00:00			`impl TheTrait<TheType> for isize { }`
Adjust orphan rules to consider all input types, not just self type. Fixes #18222. 2014-10-22 03:48:39 +00:00
Update compile fail tests to use isize. 2015-01-08 10:54:35 +00:00			`impl TheTrait<isize> for TheType { }`
Adjust orphan rules to consider all input types, not just self type. Fixes #18222. 2014-10-22 03:48:39 +00:00
Bless the remaining ui tests 2023-03-06 13:05:35 +00:00			`impl !Send for Vec<isize> { } //~ ERROR E0117`
			`//~^ WARNING`
			`//~\| WARNING this will change its meaning`
addressed comments 2015-01-13 19:21:19 +00:00
Adjust orphan rules to consider all input types, not just self type. Fixes #18222. 2014-10-22 03:48:39 +00:00			`fn main() { }`