Narrow the parent type of a singleton type to never in the false branch

If the type of the member checked is not falsy (and so is never in the false branch).

TypeScript Version: 2.7.0-dev.201xxxxx

Code

const x: {a: 1, b: 2} = { a: 1, b: 2 };
if (x.a) {

}
else {
    x.a;
}

Expected behavior:
type of x in the else branch is never.

Actual behavior:
type of x is {a: 1. b: 2}, and x.a is (counterintuitively) never.

This would bring the behavior of truthiness guards in line with our new behavior for in type guards.

Beginne damit, das bereitgestellte Beispiel mit dem TypeScript compiler zu reproduzieren, vorzugsweise gegen typescript@next wie angefordert. Verfolge das Narrowing-Verhalten des Truthiness-Guards und vergleiche es mit dem beschriebenen Verhalten des in-Type-Guards; abgeschlossen ist die Aufgabe, wenn x im falschen Zweig zu never eingeengt wird und dabei der erwartete Typ von x.a erhalten bleibt.