// check-pass | |
// run-rustfix | |
#![feature(associated_type_defaults)] | |
trait Trait { | |
// Not fine, suggests moving. | |
type Assoc = () where u32: Copy; | |
//~^ WARNING where clause not allowed here | |
// Not fine, suggests moving `u32: Copy` | |
type Assoc2 = () where i32: Copy, u32: Copy; | |
//~^ WARNING where clause not allowed here | |
} | |
fn main() {} |