False-positive `unintentional comparison` error with closures

Dieses Issue hat noch niemand übernommen.

### 🔎 Search Terms

unintentinal, comparison, 2367, overlap

### 🕗 Version & Regression Information

- typescript: `v7.0.2`
- node: `v24.14.1`
- pnpm: `v12.3.4`

### ⏯ Playground Link

_No response_

### 💻 Code

```ts
let n: "a" | "b" = "a";

const updateN = () => {
n = "b";
};

// This comparison appears to be unintentional because the types '"a"' and '"b"' have no overlap. [2367]
if (n === "b") {}

updateN();

// This comparison appears to be unintentional because the types '"a"' and '"b"' have no overlap. [2367]
if (n === "b") {}

n = "b";

// No error
if (n === "b") {}
```

### 🙁 Actual behavior

If a variable of type `"a" | "b"` is changed in a function with closure, the LSP fails to catch the change, and assumes that it was never changed.

### 🙂 Expected behavior

No error warning, since code works as expected

### Additional information about the issue

_No response_

Reproduziere das Closure-Beispiel im Issue mit TypeScript v7.0.2 und untersuche den Type-Checker-Pfad, der diagnostic 2367 ausgibt. Verfolge, wie Control-Flow-Narrowing über updateN hinweg behandelt wird, und füge einen Regressionstest hinzu, der beide Vergleiche abdeckt; fertig ist es, wenn der Vergleich nach dem Closure-Aufruf keine falsch-positive Warnung erzeugt, während das Beispiel weiterhin korrekt geprüft wird.

Vom Indexierungsmodell aus dem Issue-Text verfasst.