Inference from rest parameters has strange inconsistent results

declare function foo(...x: readonly any[]): any

type FooParams = Parameters<typeof foo>;

declare function bar(...x: readonly number[]): any

type BarParams = Parameters<typeof bar>

Expected:

• FooParams is any[] or readonly any[]
• BarParams is number[] or readonly number[]

Actual

• FooParams is unknown[]
• BarParams is never

Playground link

リンクされた TypeScript Playground の再現コードから始め、FooParams と BarParams の推論された型を、提示されている期待される結果と比較します。Parameters を readonly rest パラメーターに適用した際に関わる型推論を追跡します。2 つの例が受け入れられる期待される形式を生成し、回帰テストによるカバレッジがある状態を完了とします。