Cannot solve method call of &Iterator::Item

[A4-Tacks]

rust-analyzer version: rust-analyzer 0.4.2595-standalone

rustc version: rustc 1.91.0-nightly (040a98af7 2025-08-20)

editor or extension: VIM

code snippet to reproduce:

fn main() {
    (0i32..5i32).partition::<Vec<_>, _>(|n| {
        let _x = n.checked_add(3);
        true
    });
}

Hover in _x output:

let _x: {unknown}
──────────────────────────────────────────────────────────────────────────────
Implements notable traits: Future<Output = ?>, Iterator<Item = ?>, Read, Write
──────────────────────────────────────────────────────────────────────────────
no Drop

[ShoyuVanilla]

I think the correct term is "solver" here. Resolver can be confused with name resolution's context and we don't have something new there. Though method resolution is related to the trait solver as we have to prove the trait predicates to relate a method name to a trait method, the main purpose of the trait solver is proving(or disproving) goals, not resolving names.