Incorrect error on legitimate type overlap

TypeScript Version: 4.1.0-dev-20201102

Search Terms:

This condition will always return 'false' since the types 'X' and 'Y' have no overlap.

Code

function fn<T>(t: T) {
    return t === '' // error
}

fn('') // but here we pass it

https://www.typescriptlang.org/play?jsx=0#code/GYVwdgxgLglg9mABMMAeAKgPgBRQFyLoCUiA3gFCJWIBOAplCDUlIgLweIDkXiA9H0R0aNODXIBfcuRTYeJAYgDuYgNYBnIA

Expected behavior:

It works when we extend unknown. While this works on simple generics, it becomes inconvenient when the type parameter is nested deeper in a type structure.

function fn<T extends unknown>(t: T) {
    return t === '' // works
}

fn('') // works

https://www.typescriptlang.org/play?jsx=0#code/GYVwdgxgLglg9mABMMAeAKogpgDylsAEwGdFwBrMOAdzAD4AKKALkXQEpEBvAKEX8QAnLFBCCkURAF4ZiAORzEAeiWJqcQeWI8Avjx4oGCzirUatQA

Actual behavior:

This condition will always return 'false' since the types 'T' and 'string' have no overlap.

Related issues
https://github.com/microsoft/TypeScript/issues/27910

Tái hiện phép so sánh generic trong trình biên dịch TypeScript bằng mã và các liên kết Playground được cung cấp, sau đó so sánh với ví dụ T extends unknown. Điều tra chẩn đoán về phần giao nhau của kiểu và issue liên quan #27910; được xem là hoàn thành khi phép so sánh hợp lệ không còn báo rằng nó sẽ luôn trả về false, trong khi các phép so sánh không hợp lệ vẫn tiếp tục được chẩn đoán.