tests/ui/where-clauses/where-clause-placement-assoc-type-in-trait.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

// 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 u32: Copy = () where i32: Copy;
    //~^ WARNING where clause not allowed here
}

fn main() {}