1 #![feature(generic_associated_types)]
9 //~^ ERROR associated type in `impl` without body
10 //~| ERROR inherent associated types are unstable
12 //~^ ERROR associated type in `impl` without body
13 //~| ERROR bounds on `type`s in `impl`s have no effect
14 //~| ERROR inherent associated types are unstable
15 type W: Ord where Self: Eq;
16 //~^ ERROR associated type in `impl` without body
17 //~| ERROR bounds on `type`s in `impl`s have no effect
18 //~| ERROR inherent associated types are unstable
19 type W where Self: Eq;
20 //~^ ERROR associated type in `impl` without body
21 //~| ERROR inherent associated types are unstable