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

まず、リンクされた TypeScript Playground で issue にあるジェネリック推論の例を再現し、関連する issue #28154 と比較します。T | false とデフォルトパラメーターに対する type-checker の動作を調査します。fn({} as boolean) が true ではなく boolean を推論し、同時にデフォルトの false の動作を維持できれば完了です。