Type error false positive when refining impl trait in RPITIT

versions: rustc 1.94 (stable, RA 2026-03-25) to rustc 1.98.0 (current nightly, rustc/RA 2026-07-02)

editor or extension: VSCode, nvim (rustaceanvim)

relevant settings: tested on default settings

Rust-Analyzer does not support refined impl trait types in RPITIT. However, since 1.94, this also causes type errors in code that passes cargo build:

trait Trait {
    fn method(&self) -> impl Sized;
}
#[expect(refining_impl_trait)]
impl Trait for i32 {
    fn method(&self) -> i32 {
        *self
    }
}
fn main() {
    let _: i32 = 1i32.method(); // rust-analyzer: expected i32, found impl Sized
}

Start by reproducing the RPITIT example from the issue in rust-analyzer with the stated stable and nightly versions, then compare its diagnostic with cargo build. Trace the type inference or method-resolution path that reports “expected i32, found impl Sized”; done means rust-analyzer accepts the example without a false positive while preserving relevant diagnostics.