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
|
//// [inferentialTypingWithFunctionTypeSyntacticScenarios.ts]
declare function map<T, U>(array: T, func: (x: T) => U): U;
declare function identity<V>(y: V): V;
var s: string;
// dotted name
var dottedIdentity = { x: identity };
s = map("", dottedIdentity.x);
// index expression
s = map("", dottedIdentity['x']);
// function call
s = map("", (() => identity)());
// construct
interface IdentityConstructor {
new (): typeof identity;
}
var ic: IdentityConstructor;
s = map("", new ic());
// assignment
var t;
s = map("", t = identity);
// type assertion
s = map("", <typeof identity>identity);
// parenthesized expression
s = map("", (identity));
// comma
s = map("", ("", identity));
//// [inferentialTypingWithFunctionTypeSyntacticScenarios.js]
var s;
// dotted name
var dottedIdentity = { x: identity };
s = map("", dottedIdentity.x);
// index expression
s = map("", dottedIdentity['x']);
// function call
s = map("", (function () { return identity; })());
var ic;
s = map("", new ic());
// assignment
var t;
s = map("", t = identity);
// type assertion
s = map("", identity);
// parenthesized expression
s = map("", (identity));
// comma
s = map("", ("", identity));
|
