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
|
=== tests/cases/compiler/overloadResolutionOverNonCTLambdas.ts ===
module Bugs {
>Bugs : typeof Bugs
class A {
>A : A
}
// replace(searchValue: RegExp, replaceValue: (substring: string, ...args: any[]) => string): string;
function bug2(message:string, ...args:any[]):string {
>bug2 : (message: string, ...args: any[]) => string
>message : string
>args : any[]
var result= message.replace(/\{(\d+)\}/g, function(match, ...rest) {
>result : string
>message.replace(/\{(\d+)\}/g, function(match, ...rest) { var index= rest[0]; return typeof args[index] !== 'undefined' ? args[index] : match; }) : string
>message.replace : { (searchValue: string | RegExp, replaceValue: string): string; (searchValue: string | RegExp, replacer: (substring: string, ...args: any[]) => string): string; }
>message : string
>replace : { (searchValue: string | RegExp, replaceValue: string): string; (searchValue: string | RegExp, replacer: (substring: string, ...args: any[]) => string): string; }
>/\{(\d+)\}/g : RegExp
>function(match, ...rest) { var index= rest[0]; return typeof args[index] !== 'undefined' ? args[index] : match; } : (match: string, ...rest: any[]) => any
>match : string
>rest : any[]
var index= rest[0];
>index : any
>rest[0] : any
>rest : any[]
>0 : 0
return typeof args[index] !== 'undefined'
>typeof args[index] !== 'undefined' ? args[index] : match : any
>typeof args[index] !== 'undefined' : boolean
>typeof args[index] : "string" | "number" | "bigint" | "boolean" | "symbol" | "undefined" | "object" | "function"
>args[index] : any
>args : any[]
>index : any
>'undefined' : "undefined"
? args[index]
>args[index] : any
>args : any[]
>index : any
: match;
>match : string
});
return result;
>result : string
}
}
function bug3(f:(x:string)=>string) { return f("s") }
>bug3 : (f: (x: string) => string) => string
>f : (x: string) => string
>x : string
>f("s") : string
>f : (x: string) => string
>"s" : "s"
function fprime(x:string):string { return x; }
>fprime : (x: string) => string
>x : string
>x : string
bug3(fprime);
>bug3(fprime) : string
>bug3 : (f: (x: string) => string) => string
>fprime : (x: string) => string
bug3(function(x:string):string { return x; });
>bug3(function(x:string):string { return x; }) : string
>bug3 : (f: (x: string) => string) => string
>function(x:string):string { return x; } : (x: string) => string
>x : string
>x : string
|
