[rustc.git] / src / test / ui / impl-trait / issues / issue-99348-impl-compatibility.rs

#![feature(type_alias_impl_trait)]

struct Concrete;

type Tait = impl Sized;

impl Foo for Concrete {
    type Item = Concrete;
    //~^ type mismatch resolving
}

impl Bar for Concrete {
    type Other = Tait;
}

trait Foo {
    type Item: Bar<Other = Self>;
}

trait Bar {
    type Other;
}

fn tait() -> Tait {}

fn main() {}
Commit	Line	Data
064997fb FG	1	#![feature(type_alias_impl_trait)]
	2
	3	struct Concrete;
	4
	5	type Tait = impl Sized;
	6
	7	impl Foo for Concrete {
	8	type Item = Concrete;
	9	//~^ type mismatch resolving
	10	}
	11
	12	impl Bar for Concrete {
	13	type Other = Tait;
	14	}
	15
	16	trait Foo {
	17	type Item: Bar<Other = Self>;
	18	}
	19
	20	trait Bar {
	21	type Other;
	22	}
	23
	24	fn tait() -> Tait {}
	25
	26	fn main() {}