generic function parameter infers boolean as true

TypeScript Version: 3.3.0-dev.201xxxxx

Search Terms: true boolean generic function extends default

Code

const fn = <T extends boolean>(flag: T | false = false) => flag
fn({} as boolean)

// The only workaround?
fn<boolean>({} as boolean)

Expected behavior:
Expected fn<boolean>(flag?: boolean) to be inferred

Actual behavior:
Instead got fn<true>(flag?: boolean) as the inferred type.

The issue stems from T | false, which is required for = false to work.

Playground Link: Click here

Related Issues: Possibly https://github.com/Microsoft/TypeScript/issues/28154

Bắt đầu bằng cách tái hiện ví dụ suy luận generic từ issue trong TypeScript Playground được liên kết, sau đó so sánh với issue liên quan #28154. Điều tra hành vi của type-checker đối với T | false và các tham số mặc định. Hoàn tất khi fn({} as boolean) suy luận ra boolean thay vì true, đồng thời vẫn giữ nguyên hành vi mặc định false.