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
|
=== tests/cases/conformance/expressions/contextualTyping/objectLiteralContextualTyping.ts ===
// In a contextually typed object literal, each property value expression is contextually typed by
// the type of the property with a matching name in the contextual type, if any, or otherwise
// for a numerically named property, the numeric index type of the contextual type, if any, or otherwise
// the string index type of the contextual type, if any.
interface Item {
name: string;
>name : string
description?: string;
>description : string
}
declare function foo(item: Item): string;
>foo : { (item: Item): string; (item: any): number; }
>item : Item
declare function foo(item: any): number;
>foo : { (item: Item): string; (item: any): number; }
>item : any
var x = foo({ name: "Sprocket" });
>x : string
>foo({ name: "Sprocket" }) : string
>foo : { (item: Item): string; (item: any): number; }
>{ name: "Sprocket" } : { name: string; }
>name : string
>"Sprocket" : "Sprocket"
var x: string;
>x : string
var y = foo({ name: "Sprocket", description: "Bumpy wheel" });
>y : string
>foo({ name: "Sprocket", description: "Bumpy wheel" }) : string
>foo : { (item: Item): string; (item: any): number; }
>{ name: "Sprocket", description: "Bumpy wheel" } : { name: string; description: string; }
>name : string
>"Sprocket" : "Sprocket"
>description : string
>"Bumpy wheel" : "Bumpy wheel"
var y: string;
>y : string
var z = foo({ name: "Sprocket", description: false });
>z : number
>foo({ name: "Sprocket", description: false }) : number
>foo : { (item: Item): string; (item: any): number; }
>{ name: "Sprocket", description: false } : { name: string; description: boolean; }
>name : string
>"Sprocket" : "Sprocket"
>description : boolean
>false : false
var z: number;
>z : number
var w = foo({ a: 10 });
>w : number
>foo({ a: 10 }) : number
>foo : { (item: Item): string; (item: any): number; }
>{ a: 10 } : { a: number; }
>a : number
>10 : 10
var w: number;
>w : number
declare function bar<T>(param: { x?: T }): T;
>bar : <T>(param: { x?: T; }) => T
>param : { x?: T; }
>x : T
var b = bar({});
>b : {}
>bar({}) : {}
>bar : <T>(param: { x?: T; }) => T
>{} : {}
var b: {};
>b : {}
|
