@@ -8,19 +8,19 @@ function ft1<T extends string>(s: string, n: number, u: 'foo' | 'bar' | 'baz', t
8
8
>t : Symbol(t, Decl(templateLiteralTypes2.ts, 0, 78))
9
9
>T : Symbol(T, Decl(templateLiteralTypes2.ts, 0, 13))
10
10
11
- const c1 = `abc${s}`; // `abc${string}`
11
+ const c1 = `abc${s}`;
12
12
>c1 : Symbol(c1, Decl(templateLiteralTypes2.ts, 1, 9))
13
13
>s : Symbol(s, Decl(templateLiteralTypes2.ts, 0, 31))
14
14
15
- const c2 = `abc${n}`; // `abc${number}`
15
+ const c2 = `abc${n}`;
16
16
>c2 : Symbol(c2, Decl(templateLiteralTypes2.ts, 2, 9))
17
17
>n : Symbol(n, Decl(templateLiteralTypes2.ts, 0, 41))
18
18
19
- const c3 = `abc${u}`; // "abcfoo" | "abcbar" | "abcbaz"
19
+ const c3 = `abc${u}`;
20
20
>c3 : Symbol(c3, Decl(templateLiteralTypes2.ts, 3, 9))
21
21
>u : Symbol(u, Decl(templateLiteralTypes2.ts, 0, 52))
22
22
23
- const c4 = `abc${t}`; // `abc${T}
23
+ const c4 = `abc${t}`;
24
24
>c4 : Symbol(c4, Decl(templateLiteralTypes2.ts, 4, 9))
25
25
>t : Symbol(t, Decl(templateLiteralTypes2.ts, 0, 78))
26
26
@@ -54,15 +54,15 @@ function ft10(s: string) {
54
54
>ft10 : Symbol(ft10, Decl(templateLiteralTypes2.ts, 13, 1))
55
55
>s : Symbol(s, Decl(templateLiteralTypes2.ts, 15, 14))
56
56
57
- const c1 = `abc${s}`; // Widening type `abc${ string}`
57
+ const c1 = `abc${s}`; // Type string
58
58
>c1 : Symbol(c1, Decl(templateLiteralTypes2.ts, 16, 9))
59
59
>s : Symbol(s, Decl(templateLiteralTypes2.ts, 15, 14))
60
60
61
61
let v1 = c1; // Type string
62
62
>v1 : Symbol(v1, Decl(templateLiteralTypes2.ts, 17, 7))
63
63
>c1 : Symbol(c1, Decl(templateLiteralTypes2.ts, 16, 9))
64
64
65
- const c2 = c1; // Widening type `abc${ string}`
65
+ const c2 = c1; // Type string
66
66
>c2 : Symbol(c2, Decl(templateLiteralTypes2.ts, 18, 9))
67
67
>c1 : Symbol(c1, Decl(templateLiteralTypes2.ts, 16, 9))
68
68
@@ -92,7 +92,7 @@ function ft11(s: string, cond: boolean) {
92
92
>s : Symbol(s, Decl(templateLiteralTypes2.ts, 26, 14))
93
93
>cond : Symbol(cond, Decl(templateLiteralTypes2.ts, 26, 24))
94
94
95
- const c1 = cond ? `foo${s}` : `bar${s}`; // widening `foo${ string}` | widening `bar${string}`
95
+ const c1 = cond ? `foo${s}` : `bar${s}`; // string
96
96
>c1 : Symbol(c1, Decl(templateLiteralTypes2.ts, 27, 9))
97
97
>cond : Symbol(cond, Decl(templateLiteralTypes2.ts, 26, 24))
98
98
>s : Symbol(s, Decl(templateLiteralTypes2.ts, 26, 14))
@@ -102,13 +102,13 @@ function ft11(s: string, cond: boolean) {
102
102
>c2 : Symbol(c2, Decl(templateLiteralTypes2.ts, 28, 9))
103
103
>c1 : Symbol(c1, Decl(templateLiteralTypes2.ts, 27, 9))
104
104
105
- const c3 = cond ? c1 : c2; // `foo${ string}` | `bar${string}`
105
+ const c3 = cond ? c1 : c2; // string
106
106
>c3 : Symbol(c3, Decl(templateLiteralTypes2.ts, 29, 9))
107
107
>cond : Symbol(cond, Decl(templateLiteralTypes2.ts, 26, 24))
108
108
>c1 : Symbol(c1, Decl(templateLiteralTypes2.ts, 27, 9))
109
109
>c2 : Symbol(c2, Decl(templateLiteralTypes2.ts, 28, 9))
110
110
111
- const c4 = cond ? c3 : `baz${s}`; // `foo${ string}` | `bar${string}` | widening `baz${string}`
111
+ const c4 = cond ? c3 : `baz${s}`; // string
112
112
>c4 : Symbol(c4, Decl(templateLiteralTypes2.ts, 30, 9))
113
113
>cond : Symbol(cond, Decl(templateLiteralTypes2.ts, 26, 24))
114
114
>c3 : Symbol(c3, Decl(templateLiteralTypes2.ts, 29, 9))
@@ -126,7 +126,7 @@ function ft11(s: string, cond: boolean) {
126
126
>v2 : Symbol(v2, Decl(templateLiteralTypes2.ts, 33, 7))
127
127
>c2 : Symbol(c2, Decl(templateLiteralTypes2.ts, 28, 9))
128
128
129
- let v3 = c3; // `foo${ string}` | `bar${string}`
129
+ let v3 = c3; // string
130
130
>v3 : Symbol(v3, Decl(templateLiteralTypes2.ts, 34, 7))
131
131
>c3 : Symbol(c3, Decl(templateLiteralTypes2.ts, 29, 9))
132
132
@@ -322,7 +322,7 @@ const id4 = `foo.bar.${someString}`;
322
322
>id4 : Symbol(id4, Decl(templateLiteralTypes2.ts, 91, 5))
323
323
>someString : Symbol(someString, Decl(templateLiteralTypes2.ts, 88, 13))
324
324
325
- const t4 = takesLiteral(id4); // string
325
+ const t4 = takesLiteral(id4); // unknown
326
326
>t4 : Symbol(t4, Decl(templateLiteralTypes2.ts, 92, 5))
327
327
>takesLiteral : Symbol(takesLiteral, Decl(templateLiteralTypes2.ts, 78, 1))
328
328
>id4 : Symbol(id4, Decl(templateLiteralTypes2.ts, 91, 5))
0 commit comments