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

Beginne mit der verlinkten TypeScript Playground-Reproduktion und vergleiche die inferierten Typen von FooParams und BarParams mit den angegebenen erwarteten Ergebnissen. Verfolge die Typinferenz, die bei der Anwendung von Parameters auf readonly-Restparameter beteiligt ist. Als abgeschlossen gilt die Aufgabe, wenn die beiden Beispiele eine akzeptierte erwartete Form erzeugen und durch Regressionstests abgedeckt sind.