microsoft / microsoft/TypeScript

"Used before initialization" error false positives and negatives with optional properties

Ouverte
#61,785 1 commentaire 0 réactions 1 personne assignée Voir sur GitHub

@johnfav03 y travaille déjà.

Depuis le 6/8/2025.

Bug Domain: check: Control Flow Help Wanted
Langage dominant
Go
Étoiles
111k
Forks
14.3k
Merge moyen
2 j 4 h
PR mergées (30 j)
132

Description

### 🔎 Search Terms

used before its initialization

### 🕗 Version & Regression Information

- This changed between versions 4.2.3 and 4.3.5
- This changed in commit or PR #43100 ([`0967f3b`](https://github.com/microsoft/TypeScript/pull/43100/commits/0967f3bac1d82b61d93090eed8e81aa401426d82))

### ⏯ Playground Link

https://www.typescriptlang.org/play/?useDefineForClassFields=true&ts=5.8.3#code/MYGwhgzhAEDC0G8BQ1XTNAvNALgCwEsIA6AIwG4U1SB+ALmgDsBXAW1IFMAnLaARgBMAZkoBfJElCQYAEURVUYBi3bdoAH2jNGAEw4AzAow47KaaKV74ixDNkEik4oA

### 💻 Code

```ts
class C {
a = this.b;
b?: number = 123;
}

class D {
a: number | undefined;
b = this.a = 123;
}
```

### 🙁 Actual behavior

When initializing `C.a`: no error.

When initializing `D.b`:

```
Property 'a' is used before its initialization. (2729)
```

### 🙂 Expected behavior

When initializing `C.a`:

```
Property 'b' is used before its initialization. (2729)
```

When initializing `D.b`: no error.

### Additional information about the issue

Tried with both `useDefineForClassFields` set to `true` and `false`.

The behavior is as expected when switching the use of `undefined` and the "optional" `?` modifier like this:

```ts
class C {
a = this.b;
b: number | undefined = 123;
}

class D {
a?: number;
b = this.a = 123;
}
```

#43100 seems to have taken a wrong approach. Instead of basing the decision to report an error on whether the `?` modifier is present, it should be based on whether the property access is on the left-hand side of an assignment expression.

Guide de contribution

Ouvrir le guide de contribution

Par où commencer

  1. Lisez l'issue en entier, puis le guide de contribution du projet.
  2. Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
  3. Forkez le dépôt et travaillez sur une branche.
  4. Ouvrez une pull request qui référence le numéro de l'issue.

Évaluation

Cette issue n'a pas encore été évaluée.

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.