Parameters and readonly tuples

Bug Report

I've encountered a wrong type inference regarding the Parameters generic when the rest operator and the union of readonly tuples are used together.

🔎 Search Terms

infer, Parameters, readonly.

🕗 Version & Regression Information

I have only tested this on TypeScript 4.3.5.

⏯ Playground Link

Playground link with relevant code

In this example, P1 is correctly inferred, whereas P2 is not.

💻 Code

type F = (...args: readonly [number, string] | readonly [string, number]) => void;
type P = Parameters<F>;

🙁 Actual behavior

The type P is never.

🙂 Expected behavior

One would expect P to be of type readonly [number, string] | readonly [string, number].

リンクされている TypeScript Playground の例から始め、readonly タプル共用体に対する Parameters の推論を再現してください。コンパイラーによる rest パラメーター、共用体タプル、Parameters の処理を追跡し、その後、P が never ではなく readonly [number, string] | readonly [string, number] として推論されることを確認してください。