Type Inference Failure on Cyclic Associated Types

[ZhennanWu]

Minimal Reproducible Example

trait A {
    type B: B<A=Self>;
}
trait B {
    type A: A<B=Self>;
}
struct C<T: A> {
    b: T::B
}
fn func<T:A>(c: C<T>) {
    let unknown: T::B = c.b;
}

Breaking the cycle by removing one Self bound would solve ths issue.

rust-analyzer version: 0.3.1402-standalone

rustc version: rustc 1.67.0-nightly (c1a859b25 2022-11-10)

relevant settings

[lowr]

Duplicate of #12897, which is closed but tracked in upstream issue rust-lang/chalk#773.