1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
|
=== tests/cases/compiler/templateLiteralIntersection.ts ===
// https://github.com/microsoft/TypeScript/issues/48034
const a = 'a'
>a : "a"
>'a' : "a"
type A = typeof a
>A : "a"
>a : "a"
type MixA = A & {foo: string}
>MixA : "a" & { foo: string; }
>foo : string
type OriginA1 = `${A}`
>OriginA1 : "a"
type OriginA2 = `${MixA}`
>OriginA2 : "a"
type B = `${typeof a}`
>B : "a"
>a : "a"
type MixB = B & { foo: string }
>MixB : "a" & { foo: string; }
>foo : string
type OriginB1 = `${B}`
>OriginB1 : "a"
type OriginB2 = `${MixB}`
>OriginB2 : "a"
type MixC = { foo: string } & A
>MixC : { foo: string; } & "a"
>foo : string
type OriginC = `${MixC}`
>OriginC : "a"
type MixD<T extends string> =
>MixD : `${T & { foo: string; }}`
`${T & { foo: string }}`
>foo : string
type OriginD = `${MixD<A & { foo: string }> & { foo: string }}`;
>OriginD : "a"
>foo : string
>foo : string
type E = `${A & {}}`;
>E : "a"
type MixE = E & {}
>MixE : "a"
type OriginE = `${MixE}`
>OriginE : "a"
type OriginF = `${A}foo${A}`;
>OriginF : "afooa"
|
