5 //~^ ERROR bounds on `type`s in this context have no effect
6 //~| ERROR free type alias without body
8 //~^ ERROR bounds on `type`s in this context have no effect
9 type C: Ord where 'static: 'static = u8;
10 //~^ ERROR bounds on `type`s in this context have no effect
12 //~^ ERROR bounds on `type`s in this context have no effect
13 //~| ERROR free type alias without body
15 //~^ ERROR bounds on `type`s in this context have no effect
16 //~| ERROR type parameter `_T` is unused
17 type F<_T>: Ord where 'static: 'static = u8;
18 //~^ ERROR bounds on `type`s in this context have no effect
19 //~| ERROR type parameter `_T` is unused