error in Variadic Tuple Types , if i reverse the partial function

🔎 Search Terms

Type '[...any[], number]' is not assignable to type '[a: number, b: number, c: number]'.
Target requires 3 element(s) but source may have fewer.ts(2345)

🕗 Version & Regression Information

• This is a crash
• This changed between versions 4.23____ and nightly_
• This changed in commit or PR _______
• This is the behavior in every version I tried, and I reviewed the FAQ for entries about it___
• I was unable to test this on prior versions because _______

⏯ Playground Link

https://www.typescriptlang.org/play?ts=5.4.0-dev.20240107#code/PTAEFsEsDtPBDANqATgUwA4oPYBMCuAxmgFAkAuAnhmqAIIoqgC8qa8u20ilo80lANoBdMgDN80QuUhdQGeChlIAwkkQAeACqg0AD3JpouAM71GAGlABVXQaOnzKKwCUAfAAoSoUGIBcoB4AdCGKAOYmAYIhQVpWMdbCAJQsbqAuFt6gMQAW7LgMEQFaJCkA3lno5Pgo0IEx5PCQiIWRNinMaWLBIXkcrfEhjc2tSSQAvuKS0rJ1CkqQquouaABu2naGxmYMzjabDjuW6Z5Z-vWhKEWg0SHWg7HJqemZPg1NLVdtJeWVaNW1C5BPoFL4BawdLo9YH5AbZIYfUYTMhUGigZCsaD4cAAIzQKCmUhkckMHngAUQVhxFKshApSQCWNx+NAFR8VRqdXgoAA1KAcbzQIRkSRCFwTOQ+Cx5IplIg1IhEB5DFYAIxjMXQCX86XzOUKxArVbKtBqpJAA

💻 Code

// minimal reproduce

type Arr = readonly any[]

function partialCall<T extends Arr, U extends Arr, R>(
  f: (...args: [...T, ...U]) => R,
  ...headArgs: T
) {
  return (...tailArgs: U) => f(...headArgs, ...tailArgs)
}

function partialCallRev<T extends Arr, U extends Arr, R>(
  f: (...args: [...U, ...T]) => R,
  ...tailArgs: T
) {
  return (...headArgs: U) => f(...headArgs, ...tailArgs)
}

type l = number

function te(a: l, b: l, c: l): number {
  return a + b + c
}

const a = partialCall(te, 1)
const b = partialCallRev(te, 1)// error

🙁 Actual behavior

When I changed the order of parameters in the partialCall function, what I meant was that I wanted to first store the trailing parameters, but an error occurred.

🙂 Expected behavior

i expected it work

Additional information about the issue

No response

Beginne mit dem verlinkten TypeScript Playground und der minimalen Reproduktion für partialCallRev und vergleiche sie mit der funktionierenden Version von partialCall. Untersuche die Inferenz variadischer Tupeltypen für die umgekehrte Parameterreihenfolge; abgeschlossen, wenn die Form mit nachgestellten Parametern für die gezeigte Funktion mit drei Argumenten typgeprüft wird, ohne die erwarteten Argumenttypen abzuschwächen.