[rustc.git] / src / test / ui / traits / trait-upcasting / multiple-occurrence-ambiguousity.rs

// check-fail
#![feature(trait_upcasting)]
#![allow(incomplete_features)]

trait Bar<T> {
    fn bar(&self, _: T) {}
}

trait Foo : Bar<i32> + Bar<u32> {
    fn foo(&self, _: ()) {}
}

struct S;

impl Bar<i32> for S {}
impl Bar<u32> for S {}
impl Foo for S {}

fn main() {
    let s: &dyn Foo = &S;
    let t: &dyn Bar<_> = s; //~ ERROR mismatched types
}
Commit	Line	Data
94222f64 XL	1	// check-fail
	2	#![feature(trait_upcasting)]
	3	#![allow(incomplete_features)]
	4
	5	trait Bar<T> {
	6	fn bar(&self, _: T) {}
	7	}
	8
	9	trait Foo : Bar<i32> + Bar<u32> {
	10	fn foo(&self, _: ()) {}
	11	}
	12
	13	struct S;
	14
	15	impl Bar<i32> for S {}
	16	impl Bar<u32> for S {}
	17	impl Foo for S {}
	18
	19	fn main() {
	20	let s: &dyn Foo = &S;
	21	let t: &dyn Bar<_> = s; //~ ERROR mismatched types
	22	}