#Conditional type with no 'never' path still returns never

3 messages · Page 1 of 1 (latest)

quaint sorrel
#
delicate windBOT
#

@quaint sorrel Here's a shortened URL of your playground link! You can remove the full link from your message.

Isaac#7163

Preview:```ts
type MergeContextRecords<
R1 extends Record<string, unknown>,
R2 extends Record<string, unknown>

= R1 extends Record<string, infer R1V>
? R2 extends Record<string, infer R2V>
? R1V extends never
? R2
: R2V extends never
? R1
: R1 & R2
...```

quaint sorrel