Warn/error when testing a non-nullable type for null

TypeScript Version: 2.0.0

TL;DR:

If a project is configured for strict null checks, checking a variable which is typed as non-null is nonsense and could indicate a type mismatch.

Code:

Here's a motivating example I experienced:

async function someFunc1(): Promise<string | null> {
  // do some stuff and return the appropriately typed promise
}

async function someFunc2(): Promise<boolean> {
  // Negating a non-null Promise is crazy talk, but here I go!
  return !!someFunc1()
}

Of course what I really meant was:

async function someFunc2(): Promise<boolean> {
  return !!(await someFunc1())
}

Expected behavior:

TypeScript warns that I'm effectively testing my non-null Promise for null, and points out that that's nonsense.

Actual behavior:

TypeScript happily accepted the code, which led to a bug.

issue にはファイル、テスト、エントリーポイントが指定されていません。まず、例で説明されている strict-null-checking の動作を確認し、TypeScript が non-nullable な式に対する null テストをどのように処理するかを追跡してください。不正なチェックによって診断が生成され、valid な nullable チェックが拒否されなければ完了です。