Error type on spreading array with additional props

🔎 Search Terms

array intersection spread any

🕗 Version & Regression Information

• This is the behavior in every version I tried

⏯ Playground Link

https://tsplay.dev/wOdoMN

💻 Code

type withExtraProps = extractArray<{ name: string } & string[]>;
//   ^? any[]

type extractArray<t extends readonly unknown[]> = [...{ [i in keyof t]: t[i] }];

🙁 Actual behavior

Inferred as any[] due to an internal error type

🙂 Expected behavior

Inferred as string[]

Additional information about the issue

@Andarist mentioned this could be related to https://github.com/microsoft/TypeScript/issues/59260

TypeScript Playground の再現から始め、関連する issue #59260 と比較してください。extractArray が string[] ではなく any[] と推論される理由を追跡してください。既存の動作を後退させることなく、再現で string[] と推論されれば完了です。