6 type Assoc where u32: Copy;
8 type Assoc2 where u32: Copy, i32: Copy;
12 // Not fine, suggests moving.
13 type Assoc = () where u32: Copy;
14 //~^ WARNING where clause not allowed here
15 // Not fine, suggests moving `u32: Copy`
16 type Assoc2 = () where i32: Copy, u32: Copy;
17 //~^ WARNING where clause not allowed here
22 type Assoc = () where u32: Copy;
23 // Not fine, suggests moving both.
24 type Assoc2 = () where u32: Copy, i32: Copy;
25 //~^ WARNING where clause not allowed here