microsoft / microsoft/TypeScript
Directly setting an object which contains an optional item defined with an interface doesn't bypass `Object is possibly 'null' or 'undefined'.`
オープン
まだ誰も着手していません。
Bug
Domain: check: Control Flow
- 主要言語
- Go
- スター
- 111k
- フォーク
- 14.4k
- 平均マージ
- 1日 19時間
- マージ済み PR(30日)
- 117
説明
TypeScript Version: 3.9.0-dev.20200305
Search Terms:
- object is possibly 'null' or 'undefined'
Code
https://github.com/mckaysalisbury/typescript-direct-set
// See the above repo for a little more self containment.
// Most notably `"strictNullChecks": true`
interface I {
optional?: (I | null);
required: number;
}
let workaround: I;
workaround = {
optional: { required: 2 },
required: 1
};
workaround.optional.required; // This is where the error occurs
Expected behavior:
This code should properly compile without errors, even with "strictNullChecks": true
Actual behavior:
With "strictNullChecks": true, there is a possibly undefined error.
Playground Link:
Typescript Playground
Related Issues:
コントリビューションガイド
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
調査の方向性
リンク先の TypeScript Playground で strictNullChecks を有効にして例を再現し、その後、関連する issue を読んでこの動作についての既存の議論を確認してください。直接オブジェクト代入の後にコンパイラーがオプショナルプロパティを絞り込むべきかどうかを判断してください。変更が受け入れられる場合に例をカバーするリグレッションテストが追加され、合意された動作が決まれば完了です。
索引モデルが issue の本文から書いたものです。
評価
- 技術スタック
- typescript
- 領域
- compilers
- issue の種類
- バグ
- 難易度
- 5/5
- 見積もり時間
- 1週間以上
- 活発さ
- 停滞
- 明瞭さ
- おおむね明確
- 初心者へのやさしさ
- 35/100