rust/tests/ui/associated-type-bounds/suggest-contraining-assoc-type-because-of-assoc-const.rs

//@ run-rustfix
#![allow(dead_code)]
trait O {
    type M;
}
trait U<A: O> {
    const N: A::M;
}
impl<D> O for D {
    type M = u8;
}
impl<C: O> U<C> for u16 {
    const N: C::M = 4u8; //~ ERROR mismatched types
}
fn main() {}