rust/tests/ui/coherence/coherence-pair-covered-uncovered-1.rs

// Test that the same coverage rules apply even if the local type appears in the
// list of type parameters, not the self type.

// aux-build:coherence_lib.rs


extern crate coherence_lib as lib;
use lib::{Remote1, Pair};

pub struct Local<T>(T);

impl<T, U> Remote1<Pair<T, Local<U>>> for i32 { }
//~^ ERROR E0117

fn main() { }
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			`// Test that the same coverage rules apply even if the local type appears in the`
			`// list of type parameters, not the self type.`

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_lib.rs`
Unify tests Implement compile tests as variants of existing tests 2018-12-28 23:11:13 +00:00
New coherence tests covering patterns we want to work (and not work). 2015-01-01 21:45:59 +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_lib as lib;`
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			`use lib::{Remote1, Pair};`
New coherence tests covering patterns we want to work (and not work). 2015-01-01 21:45:59 +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			`pub struct Local<T>(T);`
New coherence tests covering patterns we want to work (and not work). 2015-01-01 21:45:59 +00:00
Make orphan check diagnostics clearer closes #22388 2015-02-16 19:40:38 +00:00			`impl<T, U> Remote1<Pair<T, Local<U>>> for i32 { }`
Stabilize the `re_rebalance_coherence` feature 2019-10-26 15:28:02 +00:00			`//~^ ERROR E0117`
New coherence tests covering patterns we want to work (and not work). 2015-01-01 21:45:59 +00:00
			`fn main() { }`