[rustc.git] / src / test / ui / associated-types / issue-22560.rs

trait Add<Rhs=Self> {
    type Output;
}

trait Sub<Rhs=Self> {
    type Output;
}

type Test = dyn Add + Sub;
//~^ ERROR E0393
//~| ERROR E0191
//~| ERROR E0393
//~| ERROR E0225

fn main() { }
Commit	Line	Data
dfeec247 XL	1	trait Add<Rhs=Self> {
	2	type Output;
	3	}
c34b1796	4
dfeec247 XL	5	trait Sub<Rhs=Self> {
	6	type Output;
	7	}
	8
	9	type Test = dyn Add + Sub;
	10	//~^ ERROR E0393
	11	//~\| ERROR E0191
	12	//~\| ERROR E0393
	13	//~\| ERROR E0225
c34b1796	14
ff7c6d11	15	fn main() { }