TypeScript/tests/baselines/reference/templateLiteralIntersection.types at 5741df41c14887880ccc8d2a81d4556e8560c0e1 · microsoft/TypeScript · GitHub

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
65
66
//// [tests/cases/compiler/templateLiteralIntersection.ts] ////

=== 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}`

    `${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"