tests/ui/associated-consts/assoc-const-eq-ambiguity.rs

// We used to say "ambiguous associated type" on ambiguous associated consts.
// Ensure that we now use the correct label.

#![feature(associated_const_equality, min_generic_const_args, unsized_const_params)]
#![allow(incomplete_features)]

trait Trait0: Parent0<i32> + Parent0<u32> {}
trait Parent0<T> {
    #[type_const]
    const K: ();
}

fn take0(_: impl Trait0<K = const { }>) {}
//~^ ERROR ambiguous associated constant `K` in bounds of `Trait0`

trait Trait1: Parent1 + Parent2 {}
trait Parent1 {
    #[type_const]
    const C: i32;
}
trait Parent2 {
    #[type_const]
    const C: &'static str;
}

fn take1(_: impl Trait1<C = "?">) {}
//~^ ERROR ambiguous associated constant `C` in bounds of `Trait1`

fn main() {}