microsoft / microsoft/TypeScript
`export` modifier on `enum` disables `This condition will always return * ts2845`
- 主要言語
- 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