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
|
=== tests/cases/compiler/genericMethodOverspecialization.ts ===
var names = ["list", "table1", "table2", "table3", "summary"];
>names : string[]
>["list", "table1", "table2", "table3", "summary"] : string[]
>"list" : "list"
>"table1" : "table1"
>"table2" : "table2"
>"table3" : "table3"
>"summary" : "summary"
interface HTMLElement {
clientWidth: number;
>clientWidth : number
isDisabled: boolean;
>isDisabled : boolean
}
declare var document: Document;
>document : Document
interface Document {
getElementById(elementId: string): HTMLElement;
>getElementById : { (elementId: string): HTMLElement; (elementId: string): HTMLElement; }
>elementId : string
}
var elements = names.map(function (name) {
>elements : HTMLElement[]
>names.map(function (name) { return document.getElementById(name);}) : HTMLElement[]
>names.map : <U>(callbackfn: (value: string, index: number, array: string[]) => U, thisArg?: any) => U[]
>names : string[]
>map : <U>(callbackfn: (value: string, index: number, array: string[]) => U, thisArg?: any) => U[]
>function (name) { return document.getElementById(name);} : (name: string) => HTMLElement
>name : string
return document.getElementById(name);
>document.getElementById(name) : HTMLElement
>document.getElementById : { (elementId: string): HTMLElement; (elementId: string): HTMLElement; }
>document : Document
>getElementById : { (elementId: string): HTMLElement; (elementId: string): HTMLElement; }
>name : string
});
var xxx = elements.filter(function (e) {
>xxx : HTMLElement[]
>elements.filter(function (e) { return !e.isDisabled;}) : HTMLElement[]
>elements.filter : { <S extends HTMLElement>(callbackfn: (value: HTMLElement, index: number, array: HTMLElement[]) => value is S, thisArg?: any): S[]; (callbackfn: (value: HTMLElement, index: number, array: HTMLElement[]) => any, thisArg?: any): HTMLElement[]; }
>elements : HTMLElement[]
>filter : { <S extends HTMLElement>(callbackfn: (value: HTMLElement, index: number, array: HTMLElement[]) => value is S, thisArg?: any): S[]; (callbackfn: (value: HTMLElement, index: number, array: HTMLElement[]) => any, thisArg?: any): HTMLElement[]; }
>function (e) { return !e.isDisabled;} : (e: HTMLElement) => boolean
>e : HTMLElement
return !e.isDisabled;
>!e.isDisabled : boolean
>e.isDisabled : boolean
>e : HTMLElement
>isDisabled : boolean
});
var widths:number[] = elements.map(function (e) { // should not error
>widths : number[]
>elements.map(function (e) { // should not error return e.clientWidth;}) : number[]
>elements.map : <U>(callbackfn: (value: HTMLElement, index: number, array: HTMLElement[]) => U, thisArg?: any) => U[]
>elements : HTMLElement[]
>map : <U>(callbackfn: (value: HTMLElement, index: number, array: HTMLElement[]) => U, thisArg?: any) => U[]
>function (e) { // should not error return e.clientWidth;} : (e: HTMLElement) => number
>e : HTMLElement
return e.clientWidth;
>e.clientWidth : number
>e : HTMLElement
>clientWidth : number
});
|
