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
94
95
96
97
|
// === findAllReferences ===
// === /tests/cases/fourslash/referencesForContextuallyTypedUnionProperties2.ts ===
// --- (line: 3) skipped ---
// }
//
// interface B {
// /*FIND ALL REFS*/<|[|{| isDefinition: true |}b|]: number;|>
// common: number;
// }
//
// // Assignment
// var v1: A | B = { a: 0, common: "" };
// var v2: A | B = { <|[|{| isWriteAccess: true |}b|]: 0|>, common: 3 };
//
// // Function call
// function consumer(f: A | B) { }
// consumer({ a: 0, <|[|{| isWriteAccess: true |}b|]: 0|>, common: 1 });
//
// // Type cast
// var c = <A | B> { common: 0, <|[|{| isWriteAccess: true |}b|]: 0|> };
//
// // Array literal
// var ar: Array<A|B> = [{ a: 0, common: "" }, { <|[|{| isWriteAccess: true |}b|]: 0|>, common: 0 }];
//
// // Nested object literal
// var ob: { aorb: A|B } = { aorb: { <|[|{| isWriteAccess: true |}b|]: 0|>, common: 0 } };
//
// // Widened type
// var w: A|B = { <|[|{| isWriteAccess: true |}b|]:undefined|>, common: undefined };
//
// // Untped -- should not be included
// var u1 = { a: 0, b: 0, common: "" };
// var u2 = { b: 0, common: 0 };
// === Definitions ===
// === /tests/cases/fourslash/referencesForContextuallyTypedUnionProperties2.ts ===
// --- (line: 3) skipped ---
// }
//
// interface B {
// /*FIND ALL REFS*/<|[|b|]: number;|>
// common: number;
// }
//
// --- (line: 11) skipped ---
// === Details ===
[
{
"containerKind": "",
"containerName": "",
"kind": "property",
"name": "(property) B.b: number",
"displayParts": [
{
"text": "(",
"kind": "punctuation"
},
{
"text": "property",
"kind": "text"
},
{
"text": ")",
"kind": "punctuation"
},
{
"text": " ",
"kind": "space"
},
{
"text": "B",
"kind": "interfaceName"
},
{
"text": ".",
"kind": "punctuation"
},
{
"text": "b",
"kind": "propertyName"
},
{
"text": ":",
"kind": "punctuation"
},
{
"text": " ",
"kind": "space"
},
{
"text": "number",
"kind": "keyword"
}
]
}
]
|
