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
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
|
=== tests/cases/compiler/noImplicitSymbolToString.ts ===
// Fix #19666
let symbol!: symbol;
>symbol : symbol
let str = "hello ";
>str : string
>"hello " : "hello "
const templateStr = `hello ${symbol}`;
>templateStr : string
>`hello ${symbol}` : string
>symbol : symbol
const appendStr = "hello " + symbol;
>appendStr : string
>"hello " + symbol : string
>"hello " : "hello "
>symbol : symbol
str += symbol;
>str += symbol : string
>str : string
>symbol : symbol
let symbolUnionNumber!: symbol | number;
>symbolUnionNumber : number | symbol
let symbolUnionString!: symbol | string;
>symbolUnionString : string | symbol
const templateStrUnion = `union with number ${symbolUnionNumber} and union with string ${symbolUnionString}`;
>templateStrUnion : string
>`union with number ${symbolUnionNumber} and union with string ${symbolUnionString}` : string
>symbolUnionNumber : number | symbol
>symbolUnionString : string | symbol
// Fix #44462
type StringOrSymbol = string | symbol;
>StringOrSymbol : string | symbol
function getKey<S extends StringOrSymbol>(key: S) {
>getKey : <S extends StringOrSymbol>(key: S) => string
>key : S
return `${key} is the key`;
>`${key} is the key` : string
>key : S
}
function getKey1<S extends symbol>(key: S) {
>getKey1 : <S extends symbol>(key: S) => void
>key : S
let s1!: S;
>s1 : S
`${s1}`;
>`${s1}` : string
>s1 : S
s1 + '';
>s1 + '' : string
>s1 : S
>'' : ""
+s1;
>+s1 : number
>s1 : S
let s2!: S | string;
>s2 : string | S
`${s2}`;
>`${s2}` : string
>s2 : string | S
s2 + '';
>s2 + '' : string
>s2 : string | S
>'' : ""
+s2;
>+s2 : number
>s2 : string | S
}
function getKey2<S extends string>(key: S) {
>getKey2 : <S extends string>(key: S) => void
>key : S
let s1!: S;
>s1 : S
`${s1}`;
>`${s1}` : string
>s1 : S
s1 + '';
>s1 + '' : string
>s1 : S
>'' : ""
+s1;
>+s1 : number
>s1 : S
let s2!: S | symbol;
>s2 : symbol | S
`${s2}`;
>`${s2}` : string
>s2 : symbol | S
s2 + '';
>s2 + '' : string
>s2 : symbol | S
>'' : ""
+s2;
>+s2 : number
>s2 : symbol | S
}
|
