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
|
=== tests/cases/compiler/genericInference2.ts ===
declare module ko {
>ko : Symbol(ko, Decl(genericInference2.ts, 0, 0))
export interface Observable<T> {
>Observable : Symbol(Observable, Decl(genericInference2.ts, 0, 23))
>T : Symbol(T, Decl(genericInference2.ts, 1, 35))
(): T;
>T : Symbol(T, Decl(genericInference2.ts, 1, 35))
(value: T): any;
>value : Symbol(value, Decl(genericInference2.ts, 3, 12))
>T : Symbol(T, Decl(genericInference2.ts, 1, 35))
N: number;
>N : Symbol(Observable.N, Decl(genericInference2.ts, 3, 27))
g: boolean;
>g : Symbol(Observable.g, Decl(genericInference2.ts, 4, 21))
r: T;
>r : Symbol(Observable.r, Decl(genericInference2.ts, 5, 22))
>T : Symbol(T, Decl(genericInference2.ts, 1, 35))
}
export function observable<T>(value: T): Observable<T>;
>observable : Symbol(observable, Decl(genericInference2.ts, 7, 8))
>T : Symbol(T, Decl(genericInference2.ts, 8, 34))
>value : Symbol(value, Decl(genericInference2.ts, 8, 37))
>T : Symbol(T, Decl(genericInference2.ts, 8, 34))
>Observable : Symbol(Observable, Decl(genericInference2.ts, 0, 23))
>T : Symbol(T, Decl(genericInference2.ts, 8, 34))
}
var o = {
>o : Symbol(o, Decl(genericInference2.ts, 10, 7))
name: ko.observable("Bob"),
>name : Symbol(name, Decl(genericInference2.ts, 10, 13))
>ko.observable : Symbol(ko.observable, Decl(genericInference2.ts, 7, 8))
>ko : Symbol(ko, Decl(genericInference2.ts, 0, 0))
>observable : Symbol(ko.observable, Decl(genericInference2.ts, 7, 8))
age: ko.observable(37)
>age : Symbol(age, Decl(genericInference2.ts, 11, 34))
>ko.observable : Symbol(ko.observable, Decl(genericInference2.ts, 7, 8))
>ko : Symbol(ko, Decl(genericInference2.ts, 0, 0))
>observable : Symbol(ko.observable, Decl(genericInference2.ts, 7, 8))
};
var x_v = o.name().length; // should be 'number'
>x_v : Symbol(x_v, Decl(genericInference2.ts, 14, 7))
>o.name().length : Symbol(String.length, Decl(lib.es5.d.ts, --, --))
>o.name : Symbol(name, Decl(genericInference2.ts, 10, 13))
>o : Symbol(o, Decl(genericInference2.ts, 10, 7))
>name : Symbol(name, Decl(genericInference2.ts, 10, 13))
>length : Symbol(String.length, Decl(lib.es5.d.ts, --, --))
var age_v = o.age(); // should be 'number'
>age_v : Symbol(age_v, Decl(genericInference2.ts, 15, 7))
>o.age : Symbol(age, Decl(genericInference2.ts, 11, 34))
>o : Symbol(o, Decl(genericInference2.ts, 10, 7))
>age : Symbol(age, Decl(genericInference2.ts, 11, 34))
var name_v = o.name("Robert"); // should be 'any'
>name_v : Symbol(name_v, Decl(genericInference2.ts, 16, 7))
>o.name : Symbol(name, Decl(genericInference2.ts, 10, 13))
>o : Symbol(o, Decl(genericInference2.ts, 10, 7))
>name : Symbol(name, Decl(genericInference2.ts, 10, 13))
var zz_v = o.name.N; // should be 'number'
>zz_v : Symbol(zz_v, Decl(genericInference2.ts, 17, 7))
>o.name.N : Symbol(ko.Observable.N, Decl(genericInference2.ts, 3, 27))
>o.name : Symbol(name, Decl(genericInference2.ts, 10, 13))
>o : Symbol(o, Decl(genericInference2.ts, 10, 7))
>name : Symbol(name, Decl(genericInference2.ts, 10, 13))
>N : Symbol(ko.Observable.N, Decl(genericInference2.ts, 3, 27))
var yy_v = o.name.g; // should be 'boolean'
>yy_v : Symbol(yy_v, Decl(genericInference2.ts, 18, 7))
>o.name.g : Symbol(ko.Observable.g, Decl(genericInference2.ts, 4, 21))
>o.name : Symbol(name, Decl(genericInference2.ts, 10, 13))
>o : Symbol(o, Decl(genericInference2.ts, 10, 7))
>name : Symbol(name, Decl(genericInference2.ts, 10, 13))
>g : Symbol(ko.Observable.g, Decl(genericInference2.ts, 4, 21))
var rr_v = o.name.r; // should be 'string'
>rr_v : Symbol(rr_v, Decl(genericInference2.ts, 19, 7))
>o.name.r : Symbol(ko.Observable.r, Decl(genericInference2.ts, 5, 22))
>o.name : Symbol(name, Decl(genericInference2.ts, 10, 13))
>o : Symbol(o, Decl(genericInference2.ts, 10, 7))
>name : Symbol(name, Decl(genericInference2.ts, 10, 13))
>r : Symbol(ko.Observable.r, Decl(genericInference2.ts, 5, 22))
|
