tests/ui/where-clauses/where-clause-placement-assoc-type-in-impl.fixed

//@ check-pass
//@ run-rustfix

#![allow(dead_code)]

trait Trait {
    // Fine.
    type Assoc where u32: Copy;
    // Fine.
    type Assoc2 where u32: Copy, i32: Copy;
    //
    type Assoc3;
}

impl Trait for u32 {
    // 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
    type Assoc3  = () where;
    //~^ WARNING where clause not allowed here
}

impl Trait for i32 {
    // Fine.
    type Assoc = () where u32: Copy;
    // Not fine, suggests moving both.
    type Assoc2  = () where u32: Copy, i32: Copy;
    //~^ WARNING where clause not allowed here
    type Assoc3  = () where;
    //~^ WARNING where clause not allowed here
}

fn main() {}