[rustc.git] / src / test / ui / inference / need_type_info / concrete-impl.rs

trait Ambiguous<A> {
    fn method() {}
}

struct One;
struct Two;
struct Struct;

impl Ambiguous<One> for Struct {}
impl Ambiguous<Two> for Struct {}

fn main() {
    <Struct as Ambiguous<_>>::method();
    //~^ ERROR type annotations needed
    //~| ERROR type annotations needed
}
Commit	Line	Data
923072b8 FG	1	trait Ambiguous<A> {
	2	fn method() {}
	3	}
	4
	5	struct One;
	6	struct Two;
	7	struct Struct;
	8
	9	impl Ambiguous<One> for Struct {}
	10	impl Ambiguous<Two> for Struct {}
	11
	12	fn main() {
	13	<Struct as Ambiguous<_>>::method();
	14	//~^ ERROR type annotations needed
	15	//~\| ERROR type annotations needed
	16	}