microsoft / microsoft/TypeScript

`export` modifier on `enum` disables `This condition will always return * ts2845`

オープン
#63,565 コメント 4 件 リアクション 0 件 担当者 0 名 GitHub で見る
Bug Domain: check: Control Flow
主要言語
Go
スター
111k
フォーク
14.3k
平均マージ
2日 4時間
マージ済み PR(30日)
132

説明

### 🔎 Search Terms

export enum ts2845

### 🕗 Version & Regression Information

5.4 doesn't flag it without the `export` modifier either.

### ⏯ Playground Link

https://www.typescriptlang.org/play/?target=99&module=0&ts=6.0.0-dev.20260416#code/KYDwDg9gTgLgBMAdgVwLZwIIBMCGYbBQDyyMYpAKgJ5jBwDeAUHJgAqsD6rGA4gKIAaZnG78AykIC+jRlmABjADY4odeREQBneDBrAAXJlz5CJMpT0z1W+AGsAloixwAvMN21XLl0bwFipOQw1LQAdBjsXLx8cAA+sb4mAebBeqGifGLCLAD0OSwFhUXFJaUUABb2mnDWWPYw9hpwAO72iopwOIrNOFTVqjDIUIhwAOQwUMjAo6EAFABMABwALACsAJTZcAD8Y4rAAGYwo1uGo1D2AOblxwDcQA

### 💻 Code

```ts
// remove `export` modifier
export enum AdapterOutputType {
APP_PAGE,
PAGES,
}

declare const type: AdapterOutputType

const kind =
type === AdapterOutputType.APP_PAGE || AdapterOutputType.PAGES
// ~ should be flagged with: This condition will always return 'true'.(2845)
? 'left'
: 'right';
```

### 🙁 Actual behavior

No typechecking error

### 🙂 Expected behavior

`ts2845` because the condition is always `true`.

### Additional information about the issue

_No response_

コントリビューションガイド

コントリビューションガイドを開く

調査の方向性

まず、リンクされている TypeScript Playground のケースを再現し、`AdapterOutputType` に `export` 修飾子がある場合とない場合で診断の挙動を比較します。enum メンバーの比較における型チェックの経路を追跡し、誤った条件に TS2845 が付与され、正しいケースには診断が導入されないことを確認します。

索引モデルが issue の本文から書いたものです。

評価

技術スタック
typescript
領域
compilers
issue の種類
バグ
難易度
3/5
見積もり時間
1〜2日
活発さ
静か
明瞭さ
明確に書かれている
初心者へのやさしさ
56/100

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。