TypeScriptP/tests/baselines/reference/contextualTypeFromJSDoc.types at 850c19b583ace6b59ddd0dfa4719d63632342ba9 · ace-tk/TypeScriptP · GitHub

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
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
//// [tests/cases/conformance/types/contextualTypes/jsdoc/contextualTypeFromJSDoc.ts] ////

=== index.js ===
/** @type {Array<[string, {x?:number, y?:number}]>} */
const arr = [
>arr : [string, { x?: number | undefined; y?: number | undefined; }][]
>    : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
>[    ['a', { x: 1 }],    ['b', { y: 2 }]] : ([string, { x: number; }] | [string, { y: number; }])[]
>                                          : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

    ['a', { x: 1 }],
>['a', { x: 1 }] : [string, { x: number; }]
>                : ^^^^^^^^^^^^^^^^^^^^^^^^
>'a' : "a"
>    : ^^^
>{ x: 1 } : { x: number; }
>         : ^^^^^^^^^^^^^^
>x : number
>  : ^^^^^^
>1 : 1
>  : ^

    ['b', { y: 2 }]
>['b', { y: 2 }] : [string, { y: number; }]
>                : ^^^^^^^^^^^^^^^^^^^^^^^^
>'b' : "b"
>    : ^^^
>{ y: 2 } : { y: number; }
>         : ^^^^^^^^^^^^^^
>y : number
>  : ^^^^^^
>2 : 2
>  : ^

];

/** @return {Array<[string, {x?:number, y?:number}]>} */
function f() {
>f : () => Array<[string, { x?: number; y?: number; }]>
>  : ^^^^^^

    return [
>[        ['a', { x: 1 }],        ['b', { y: 2 }]    ] : ([string, { x: number; }] | [string, { y: number; }])[]
>                                                      : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

        ['a', { x: 1 }],
>['a', { x: 1 }] : [string, { x: number; }]
>                : ^^^^^^^^^^^^^^^^^^^^^^^^
>'a' : "a"
>    : ^^^
>{ x: 1 } : { x: number; }
>         : ^^^^^^^^^^^^^^
>x : number
>  : ^^^^^^
>1 : 1
>  : ^

        ['b', { y: 2 }]
>['b', { y: 2 }] : [string, { y: number; }]
>                : ^^^^^^^^^^^^^^^^^^^^^^^^
>'b' : "b"
>    : ^^^
>{ y: 2 } : { y: number; }
>         : ^^^^^^^^^^^^^^
>y : number
>  : ^^^^^^
>2 : 2
>  : ^

    ];
}

class C {
>C : C
>  : ^

    /** @param {Array<[string, {x?:number, y?:number}]>} value */
    set x(value) { }
>x : [string, { x?: number | undefined; y?: number | undefined; }][]
>  : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
>value : [string, { x?: number | undefined; y?: number | undefined; }][]
>      : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

    get x() {
>x : [string, { x?: number | undefined; y?: number | undefined; }][]
>  : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

        return [
>[            ['a', { x: 1 }],            ['b', { y: 2 }]        ] : ([string, { x: number; }] | [string, { y: number; }])[]
>                                                                  : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

            ['a', { x: 1 }],
>['a', { x: 1 }] : [string, { x: number; }]
>                : ^^^^^^^^^^^^^^^^^^^^^^^^
>'a' : "a"
>    : ^^^
>{ x: 1 } : { x: number; }
>         : ^^^^^^^^^^^^^^
>x : number
>  : ^^^^^^
>1 : 1
>  : ^

            ['b', { y: 2 }]
>['b', { y: 2 }] : [string, { y: number; }]
>                : ^^^^^^^^^^^^^^^^^^^^^^^^
>'b' : "b"
>    : ^^^
>{ y: 2 } : { y: number; }
>         : ^^^^^^^^^^^^^^
>y : number
>  : ^^^^^^
>2 : 2
>  : ^

        ];
    }
}