tests/ui/const-generics/mgca/projection-const-recursive.rs

//! See also <https://github.com/rust-lang/rust/issues/153831>
//@ check-fail
//@compile-flags: -Znext-solver=globally --emit=obj
#![feature(min_generic_const_args)]
#![expect(incomplete_features)]

trait Trait {
    type const A: ();
}

impl Trait for () {
    type const A: () = <() as Trait>::A;
    //~^ ERROR type mismatch resolving `<() as Trait>::A normalizes-to _`
    //~| ERROR the constant `<() as Trait>::A` is not of type `()`
}

fn main() {
    <() as Trait>::A;
}