#Extending Distribution Behavior

3 messages · Page 1 of 1 (latest)

cursive vergeBOT
#
bequot#0

Preview:```ts
type F<
A extends string,
B extends string = A

= A extends A ? ${A} ${B} : never

type Z = F<"a" | "b">```

supple canopy
#

Why type Z = "a a" | "a b" | "b a" | "b b" rather than type Z = "a a | b" | "b a | b"?

#

Great, because it's how template literal type works