TypeScript can't infer type of default parameters

🔎 Search Terms

infer default parameters
function wrapper
function factory

🕗 Version & Regression Information

• This is the behavior in every version I tried, and I reviewed the FAQ
  • I tried down to version 4.0.3 (since in the earlier version Generator type is not generic)

⏯ Playground Link

https://www.typescriptlang.org/play/?#code/CYUwxgNghgTiAEAzArgOzAFwJYHtVNQBEQYsA3EAHgEF4QAPDEVYAZ3jQGtUcB3VANoBdADTwASgD4AFACh4CggC540gHQbYAc1YrqASngBeSfADizElAw4YlLj35ipI2fpUO++APQAqX-AAtjhgnCDA8HAYyDD4vt4A3LKyiEQk5CDSKOjYePC+0lDG8AAMYgBGxQDkVYYA3vLwYHisOBAgahA4WtINivBQrvDe3vAAegD8jQrl8iPjUwoAvvpJK0lAA

💻 Code

declare function fnDerive<A extends unknown[], R>(
    fn: (...args: A) => Generator<unknown, R>,
): unknown /** mocked return */;

fnDerive(function *(a = 0, b = '') {
  console.log({
    a,
 // ^?
    b
 // ^?
  });
});

🙁 Actual behavior

The type of a and b is unknown.

🙂 Expected behavior

The type of a and b should be number and string

Additional information about the issue

I was working with a library gensync when I hit this issue, and I extracted the minimum reproduction out of it.

Note that if I don't use default parameters, typescript can infer the a and b types correctly:

declare function fnDerive<A extends unknown[], R>(
    fn: (...args: A) => Generator<unknown, R>,
): unknown /** mocked return */;

fnDerive(function *(a?: number | undefined, b?: string | undefined) {
  console.log({
    a,
 // ^?
    b
 // ^?
  });

  a ??= 0;
  b ??= '';
  console.log({
    a,
 // ^?
    b
 // ^?
  });
});

Bắt đầu với TypeScript Playground được liên kết và bản tái hiện tối thiểu của fnDerive, sau đó theo dõi cách các tham số mặc định được xử lý trong quá trình suy luận hàm generic. Công việc được xem là hoàn tất khi ví dụ suy luận a là number và b là string, trong khi ví dụ tương đương với tham số tùy chọn được khai báo tường minh vẫn hoạt động đúng.