Feature Request: add TypeChecker API to query if identifier is definitely assigned

Currently it's not possible to query CFA. I need to find out if an identifier is definitely assigned. This logic is part of checkIdentifier and is not accessible outside of that function.

My use case is the TSLint rule no-unnecessary-type-assertion where we need to identify false positives. The current implementation compares the type before and after the non-null-assertion. That doesn't work well for identifiers that are not definitely assigned, because the assertion suppresses TS2454 and can therefore not be removed.

Bắt đầu bằng cách đọc logic phân tích luồng điều khiển trong checkIdentifier, hiện đang chứa bước kiểm tra đã được gán chắc chắn. Theo dõi cách rule no-unnecessary-type-assertion của TSLint cần truy vấn kết quả đó và xác định ranh giới API công khai của TypeChecker. Hoàn tất khi các bên gọi có thể xác định một identifier đã được gán chắc chắn hay chưa mà không phụ thuộc vào hành vi nội bộ của checkIdentifier.