blob: d171eba50b788e32e719858a76ce69ef3b206aaa [file] [log] [blame]
// 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() {}