TypeScriptP/tests/baselines/reference/assignmentToInstantiationExpression.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
//// [tests/cases/compiler/assignmentToInstantiationExpression.ts] ////

=== assignmentToInstantiationExpression.ts ===
let obj: { fn?: <T>() => T } = {};
>obj : { fn?: (<T>() => T) | undefined; }
>    : ^^^^^^^^^ ^^^^^^^ ^^^^^^^^^^^^^^^^
>fn : (<T>() => T) | undefined
>   : ^^ ^^^^^^^ ^^^^^^^^^^^^^
>{} : {}
>   : ^^

obj.fn<number> = () => 1234;
>obj.fn<number> = () => 1234 : () => number
>                            : ^^^^^^^^^^^^
>obj.fn<number> : (() => number) | undefined
>               : ^^^^^^^^^^^^^^^^^^^^^^^^^^
>obj.fn : (<T>() => T) | undefined
>       : ^^ ^^^^^^^ ^^^^^^^^^^^^^
>obj : { fn?: (<T>() => T) | undefined; }
>    : ^^^^^^^^^ ^^^^^^^ ^^^^^^^^^^^^^^^^
>fn : (<T>() => T) | undefined
>   : ^^ ^^^^^^^ ^^^^^^^^^^^^^
>() => 1234 : () => number
>           : ^^^^^^^^^^^^
>1234 : 1234
>     : ^^^^


let getValue: <T>() => T;
>getValue : <T>() => T
>         : ^ ^^^^^^^

getValue<number> = () => 1234;
>getValue<number> = () => 1234 : () => number
>                              : ^^^^^^^^^^^^
>getValue<number> : () => number
>                 : ^^^^^^^^^^^^
>getValue : <T>() => T
>         : ^ ^^^^^^^
>() => 1234 : () => number
>           : ^^^^^^^^^^^^
>1234 : 1234
>     : ^^^^


let getValue2!: <T>() => T;
>getValue2 : <T>() => T
>          : ^ ^^^^^^^

getValue2<number> = () => 1234;
>getValue2<number> = () => 1234 : () => number
>                               : ^^^^^^^^^^^^
>getValue2<number> : () => number
>                  : ^^^^^^^^^^^^
>getValue2 : <T>() => T
>          : ^ ^^^^^^^
>() => 1234 : () => number
>           : ^^^^^^^^^^^^
>1234 : 1234
>     : ^^^^