Multiple IntoIterator bounds break type inference

[indietyp]

When having multiple IntoIterator bounds on a function - even if completely unrelated - type inference breaks down.

rust-analyzer version: nightly-2024-10-21

rustc version: rustc 1.84.0-nightly (662180b34 2024-10-20)

editor or extension: Zed on mac

code snippet to reproduce:

fn x<A, B>(a: A)
where
    A: IntoIterator<Item = u8>,
    B: IntoIterator<Item = u16>,
{
    for u in a {}
}

when we change B to any other bound, like: B: Iterator<Item = u16> the type inference will work for a:

fn x<A, B>(a: A)
where
    A: IntoIterator<Item = u8>,
    B: Iterator<Item = u16>,
{
    for u in a {}
}

[lnicola]

Duplicate of #10653.