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
|
=== tests/cases/conformance/salsa/test.js ===
function f(x) {}
>f : (x: any) => void
>x : any
f(); // Always been ok
>f() : void
>f : (x: any) => void
class C {
>C : C
static m(x) {}
>m : (x: any) => void
>x : any
p = x => {}
>p : (x: any) => void
>x => {} : (x: any) => void
>x : any
m(x) {}
>m : (x: any) => void
>x : any
}
C.m(); // Always been ok
>C.m() : void
>C.m : (x: any) => void
>C : typeof C
>m : (x: any) => void
new C().m(); // Regression #39261
>new C().m() : void
>new C().m : (x: any) => void
>new C() : C
>C : typeof C
>m : (x: any) => void
new C().p(); // Regression #39261
>new C().p() : void
>new C().p : (x: any) => void
>new C() : C
>C : typeof C
>p : (x: any) => void
const obj = {
>obj : { m(x: any): void; p: (x: any) => void; }
>{ m(x) {}, p: x => {}} : { m(x: any): void; p: (x: any) => void; }
m(x) {},
>m : (x: any) => void
>x : any
p: x => {}
>p : (x: any) => void
>x => {} : (x: any) => void
>x : any
};
obj.m(); // Always been ok
>obj.m() : void
>obj.m : (x: any) => void
>obj : { m(x: any): void; p: (x: any) => void; }
>m : (x: any) => void
obj.p(); // Always been ok
>obj.p() : void
>obj.p : (x: any) => void
>obj : { m(x: any): void; p: (x: any) => void; }
>p : (x: any) => void
|
