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
|
=== tests/cases/compiler/operationsAvailableOnPromisedType.ts ===
async function fn(
>fn : (a: number, b: Promise<number>, c: Promise<string[]>, d: Promise<{ prop: string;}>, e: Promise<() => void>, f: Promise<() => void> | (() => void), g: Promise<{ new (): any;}>) => Promise<void>
a: number,
>a : number
b: Promise<number>,
>b : Promise<number>
c: Promise<string[]>,
>c : Promise<string[]>
d: Promise<{ prop: string }>,
>d : Promise<{ prop: string; }>
>prop : string
e: Promise<() => void>,
>e : Promise<() => void>
f: Promise<() => void> | (() => void),
>f : Promise<() => void> | (() => void)
g: Promise<{ new(): any }>
>g : Promise<new () => any>
) {
// All errors
a | b;
>a | b : number
>a : number
>b : Promise<number>
b | a;
>b | a : number
>b : Promise<number>
>a : number
a + b;
>a + b : any
>a : number
>b : Promise<number>
a > b;
>a > b : boolean
>a : number
>b : Promise<number>
b++;
>b++ : number
>b : Promise<number>
--b;
>--b : number
>b : Promise<number>
a === b;
>a === b : boolean
>a : number
>b : Promise<number>
[...c];
>[...c] : any[]
>...c : any
>c : Promise<string[]>
for (const s of c) {
>s : any
>c : Promise<string[]>
fn(b, b, c, d, e, f, g);
>fn(b, b, c, d, e, f, g) : Promise<void>
>fn : (a: number, b: Promise<number>, c: Promise<string[]>, d: Promise<{ prop: string; }>, e: Promise<() => void>, f: Promise<() => void> | (() => void), g: Promise<new () => any>) => Promise<void>
>b : Promise<number>
>b : Promise<number>
>c : Promise<string[]>
>d : Promise<{ prop: string; }>
>e : Promise<() => void>
>f : Promise<() => void> | (() => void)
>g : Promise<new () => any>
d.prop;
>d.prop : any
>d : Promise<{ prop: string; }>
>prop : any
}
for await (const s of c) {}
>s : any
>c : Promise<string[]>
e();
>e() : any
>e : Promise<() => void>
f();
>f() : any
>f : Promise<() => void> | (() => void)
new g();
>new g() : any
>g : Promise<new () => any>
b();
>b() : any
>b : Promise<number>
}
|
