TypeScript incorrectly infers logical operation result type with empty string

🔎 Search Terms

string logical disjunction type inference string logical inference type infer empty string logical operation type

⏯ Playground Link

Playground link with relevant code

💻 Code

const str: string | undefined = ''

const test = (str || undefined) && {some: 'thing'}

🙁 Actual behavior

Inferred type of operation is

"" | {
    some: string;
} | undefined

🙂 Expected behavior

Inferred type of operation is

{
    some: string;
} | undefined

because (str || undefined) prevents empty string to be returned

Bắt đầu với TypeScript Playground được liên kết và mẫu mã sử dụng (str || undefined) && {some: 'thing'}. Theo dõi quá trình suy luận kiểu của phép toán logic tạo ra thành viên union không mong đợi ""; hoàn thành khi kiểu được suy luận chỉ là { some: string } | undefined,, với coverage cho ví dụ này.