T | (() => T)

TypeScript Version: 3.9.0 (Nightly)

Search Terms: T | (() => T), T & Function

Code

type Initializer<T> = T | (() => T)
// type Initializer<T> = T extends any ? (T | (() => T)) : never

function correct<T>(arg: Initializer<T>) {
    return typeof arg === 'function' ? arg() : arg // error
}

Line 2 provides a workaround for this.
More info on stackoverflow.

Expected behavior: no errors

Actual behavior: This expression is not callable. Not all constituents of type '(() => T) | (T & Function)' are callable. Type 'T & Function' has no call signatures.

Playground Link: here.

Related Issues: none

まず、リンクされた TypeScript Playground の再現コードを実行し、Initializer の直接的な定義と distributive conditional workaround を比較します。typeof チェックに関係する型の絞り込みと呼び出し可能性の挙動を追跡します。直接的な定義が報告されたエラーなしでコンパイルでき、期待される型の挙動を維持できれば完了です。