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.

In der Issue wird keine Datei, kein Test und kein Einstiegspunkt genannt. Beginne damit, das in den Beispielen beschriebene Verhalten von strict-null-checking zu überprüfen, und verfolge, wie TypeScript Nulltests für nicht nullfähige Ausdrücke behandelt; fertig ist die Aufgabe, wenn die inkorrekte Prüfung eine Diagnose erzeugt, ohne gültige nullable Prüfungen abzulehnen.