Noncrashing property access through non-null assertion operator should narrow that property to NonNullable

TypeScript Version: 2.3 (Playground)

Code

Using strictNullChecks.

interface Foo {
    optional?: number;
}

interface Bar {
    foo?: Foo;
}

function test(bar: Bar) {
    if (bar.foo!.optional) {
        let num: number = bar.foo.optional;
    }

    if (bar.foo && bar.foo.optional) {
        let num: number = bar.foo.optional;
    }
}

Expected behavior:
No errors or warnings.

Actual behavior:

• num in first if block is number | undefined
• bar.foo in first if block can be undefined

Tái hiện ví dụ được cung cấp trong TypeScript 2.3 Playground với strictNullChecks được bật, so sánh trường hợp non-null assertion với phép kiểm tra bar.foo tường minh. Điều tra cách truy cập thuộc tính được thu hẹp trong khối if đầu tiên; được xem là hoàn tất khi cả hai phép gán đều được chấp nhận mà không có lỗi hoặc cảnh báo.