microsoft / microsoft/TypeScript
`+=` on `string | undefined` should narrow its operand to `string`
オープン
まだ誰も着手していません。
Bug
Domain: check: Control Flow
- 主要言語
- Go
- スター
- 111k
- フォーク
- 14.4k
- 平均マージ
- 1日 19時間
- マージ済み PR（30日）
- 117
説明
TypeScript Version: 2.6.1
Code
let a: string | undefined;
a = a + "a";
a; // string
let b: string | undefined;
b += "a";
b; // should be string, but is still string | undefined
Expected behavior:
Both notations should be equivalend
コントリビューションガイド
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
調査の方向性
まず TypeScript 2.6.1 で例を再現し、a = a + "a" と b += "a" を比較します。複合代入の型チェック経路を追跡し、+= の後に b が string に絞り込まれることを示すリグレッションテストを追加します。両方の形式が回帰なしで同等の型を生成すれば完了です。
索引モデルが issue の本文から書いたものです。
評価
- 技術スタック
- typescript
- 領域
- compilers
- issue の種類
- バグ
- 難易度
- 4/5
- 見積もり時間
- 3〜5日
- 活発さ
- 停滞
- 明瞭さ
- おおむね明確
- 初心者へのやさしさ
- 35/100