Inferring rest of array in a conditional results in `unknown[]`

Bug Report

🔎 Search Terms

infer conditional array rest unknown

🕗 Version & Regression Information

• I was unable to test this on prior versions than 4.1 because it uses template literal types added in 4.1

⏯ Playground Link

Playground link with relevant code

💻 Code

Using code from the #40336 description restricted to strings only:

type Join<S extends string[], D extends string> =
	S extends [] ? '' :
	S extends [string] ? `${S[0]}` :
	S extends [string, ...infer R] ? `${S[0]}${D}${Join<R, D>}` :
	string;

🙁 Actual behavior

R is inferred as being unknown[].

🙂 Expected behavior

R should be inferred as being string[].

Bắt đầu với reproduction TypeScript Playground được liên kết và xác nhận rằng tham số rest được suy luận là unknown[] thay vì string[]. Theo dõi quá trình suy luận kiểu điều kiện của compiler đối với kiểu Join được hiển thị, sau đó xác minh rằng rest được suy luận là string[] mà không thay đổi hành vi mong đợi đối với các kiểu điều kiện khác.