[rustc.git] / src / test / ui / associated-types / point-at-type-on-obligation-failure.rs

trait Bar {
    type Ok;
    type Sibling: Bar2<Ok=Self::Ok>;
}
trait Bar2 {
    type Ok;
}

struct Foo;
struct Foo2;

impl Bar for Foo {
    type Ok = ();
    type Sibling = Foo2;
    //~^ ERROR type mismatch resolving `<Foo2 as Bar2>::Ok == ()`
}
impl Bar2 for Foo2 {
    type Ok = u32;
}

fn main() {}
Commit	Line	Data
e74abb32 XL	1	trait Bar {
	2	type Ok;
	3	type Sibling: Bar2<Ok=Self::Ok>;
	4	}
	5	trait Bar2 {
	6	type Ok;
	7	}
	8
	9	struct Foo;
	10	struct Foo2;
	11
	12	impl Bar for Foo {
29967ef6	13	type Ok = ();
e74abb32	14	type Sibling = Foo2;
29967ef6	15	//~^ ERROR type mismatch resolving `<Foo2 as Bar2>::Ok == ()`
e74abb32 XL	16	}
	17	impl Bar2 for Foo2 {
	18	type Ok = u32;
	19	}
	20
	21	fn main() {}