Type inference breaks when using multiple associated types with the same bound.

[LouisGariepy]

Feel free to change the title, I don't know enough about RA to actually pin point a better title.

rust-analyzer version: v0.4.1510

rustc version: 1.69.0

MRE

pub trait Foo {
    type A: IntoIterator<Item = u8>;

    type B: IntoIterator<Item = u8>;

    fn baz() {
        let _ = [1, 2, 3].into_iter().map(|_| 3);
    }
}

The into_iter method doesn't resolve.

Removing one (or both) of the two associated types, or changing one (or both) of the bounds makes inference work correctly.

What I expected to happen

I expected the .into_iter() method to resolve correctly.

What actually happens

.into_iter() doesn't resolve correctly, which causes subsequent interactions with the resulting value to also be unresolved.

[lowr]

This is a duplicate of #10653 (it's actually a longstanding issue that needs to be solved in upstream library: rust-lang/chalk#750). Closing, thanks for the report though!