1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
fn main() {}
struct X;
impl X {
type Y;
//~^ ERROR associated type in `impl` without body
//~| ERROR inherent associated types are unstable
type Z: Ord;
//~^ ERROR associated type in `impl` without body
//~| ERROR bounds on `type`s in `impl`s have no effect
//~| ERROR inherent associated types are unstable
type W: Ord where Self: Eq;
//~^ ERROR associated type in `impl` without body
//~| ERROR bounds on `type`s in `impl`s have no effect
//~| ERROR inherent associated types are unstable
//~| ERROR `X: Eq` is not satisfied
type W where Self: Eq;
//~^ ERROR associated type in `impl` without body
//~| ERROR inherent associated types are unstable
//~| ERROR duplicate definitions
//~| ERROR `X: Eq` is not satisfied
}
|
