Shadowed variable is highlighted in cfg'ed out code even though it is not used there

rust-analyzer version: 0.3.2533-standalone

rustc version: rustc 1.88.0 (6b00bc388 2025-06-23)

editor or extension: Code OSS (like vscode)

relevant settings: None

code snippet to reproduce:

pub fn f() {
    if let Some(var) = Some(123) {
        let var = var + 1;

        #[cfg(debug_assertions)]
        dbg!(var);
        #[cfg(not(debug_assertions))]
        let _ = var;
    }
}

When the cursor is on any uses of var others are highlighted, but the use that is cfg'ed out (debug_assertions is on) highlights and is highlighted by the shadowed var, not the new let var = ... later on.

Start with the minimal Rust snippet in the issue and trace rust-analyzer's semantic highlighting and cfg handling for the shadowed var. Reproduce the highlighting with debug_assertions enabled, then verify that the cfg-disabled use no longer affects or receives the wrong binding highlight.