raise a type error on attempt to strict-equal-compare a value of string | null to undefined

the following examples are almost certainly bugs:

declare var one: string | undefined;
// expected a type error: Operator '===' cannot be applied to types 'string | undefined' and 'null'
// actual no problem
if (one === null) { 
   // unreachable, because one can't ever be null, undefined was likely meant instead
}

declare var another: string | null;
// expected a type error: Operator '===' cannot be applied to types 'string | null' and 'undefined'
// actual no problem
if (another === undefined) {
   // unreachable, because one can't ever be undefined, null was likely meant instead
}

consider raising a type error for the above situations

Bắt đầu bằng cách tái hiện hai ví dụ TypeScript trong issue và kiểm tra hành vi kiểm tra kiểu của trình biên dịch đối với các phép so sánh bằng nghiêm ngặt liên quan đến các union của chuỗi và null hoặc undefined. Được xem là hoàn thành khi cả hai phép so sánh không thể xảy ra đều tạo ra lỗi kiểu, trong khi các phép so sánh hợp lệ vẫn được chấp nhận; payload không nêu tên tệp nguồn hay bài kiểm thử.