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.

まず、提供された例を TypeScript compiler で再現します。要求どおり、できれば typescript@next に対して実行してください。truthiness-guard の narrowing の挙動を追跡し、記載されている in type-guard の挙動と比較します。x が false 分岐で never に絞り込まれ、同時に x.a の期待される型が維持されれば完了です。