os-rust/tests/ui/coherence/coherence-projection-conflict.rs

use std::marker::PhantomData;

pub trait Foo<P> { fn foo() {} }

pub trait Bar {
    type Output: 'static;
}

impl Foo<i32> for i32 { }

impl<A:Bar> Foo<A::Output> for A { }
//~^ ERROR E0119

impl Bar for i32 {
    type Output = i32;
}

fn main() {}
Make coherence more tolerant of error types. Fixes #29857. Fixes #30589. 2016-01-02 04:57:55 -05:00			`use std::marker::PhantomData;`

Implement RFC 1268 This patch allows overlap to occur between any two impls of a trait for traits which have no associated items. Several compile-fail tests around coherence had to be changed to add at least one item to the trait they test against. Ref #29864 2017-02-25 16:16:27 -05:00			`pub trait Foo<P> { fn foo() {} }`
Make coherence more tolerant of error types. Fixes #29857. Fixes #30589. 2016-01-02 04:57:55 -05:00
			`pub trait Bar {`
			`type Output: 'static;`
			`}`

Assorted fixed after rebasing 2016-01-29 16:25:18 -08:00			`impl Foo<i32> for i32 { }`
Make coherence more tolerant of error types. Fixes #29857. Fixes #30589. 2016-01-02 04:57:55 -05:00
Unify tests Implement compile tests as variants of existing tests 2018-12-29 00:11:13 +01:00			`impl<A:Bar> Foo<A::Output> for A { }`
Stabilize the `re_rebalance_coherence` feature 2019-10-26 17:28:02 +02:00			`//~^ ERROR E0119`
Make coherence more tolerant of error types. Fixes #29857. Fixes #30589. 2016-01-02 04:57:55 -05:00
			`impl Bar for i32 {`
			`type Output = i32;`
			`}`

			`fn main() {}`