TypeScript/tests/baselines/reference/unionRelationshipCheckPasses2(exactoptionalpropertytypes=false).types at 7d5097b0def31bf1ff65287d48d0e3607d99dba1 · Andarist/TypeScript · 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
//// [tests/cases/compiler/unionRelationshipCheckPasses2.ts] ////

=== unionRelationshipCheckPasses2.ts ===
// https://github.com/microsoft/TypeScript/issues/61678

export type U = { type: "A"; value: null } | { type: "B"; value: string };
>U : U
>  : ^
>type : "A"
>     : ^^^
>value : null
>      : ^^^^
>type : "B"
>     : ^^^
>value : string
>      : ^^^^^^

function call<T>(f: () => T): T {
>call : <T>(f: () => T) => T
>     : ^ ^^ ^^       ^^^^^
>f : () => T
>  : ^^^^^^

  return f();
>f() : T
>    : ^
>f : () => T
>  : ^^^^^^
}

export function functionCall(): U {
>functionCall : () => U
>             : ^^^^^^

  return call(() => {  // error
>call(() => {  // error    if (Math.random()) {      return { type: "A" };    }    return { type: "B", value: "test" };  }) : { type: "A"; value?: undefined; } | { type: "B"; value: string; }
>                                                                                                                           : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
>call : <T>(f: () => T) => T
>     : ^ ^^ ^^       ^^^^^
>() => {  // error    if (Math.random()) {      return { type: "A" };    }    return { type: "B", value: "test" };  } : () => { type: "A"; value?: undefined; } | { type: "B"; value: string; }
>                                                                                                                     : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

    if (Math.random()) {
>Math.random() : number
>              : ^^^^^^
>Math.random : () => number
>            : ^^^^^^
>Math : Math
>     : ^^^^
>random : () => number
>       : ^^^^^^

      return { type: "A" };
>{ type: "A" } : { type: "A"; }
>              : ^^^^^^^^^^^^^^
>type : "A"
>     : ^^^
>"A" : "A"
>    : ^^^
    }

    return { type: "B", value: "test" };
>{ type: "B", value: "test" } : { type: "B"; value: string; }
>                             : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
>type : "B"
>     : ^^^
>"B" : "B"
>    : ^^^
>value : string
>      : ^^^^^^
>"test" : "test"
>       : ^^^^^^

  });
}

export function directReturn(): U {
>directReturn : () => U
>             : ^^^^^^

  if (Math.random()) {
>Math.random() : number
>              : ^^^^^^
>Math.random : () => number
>            : ^^^^^^
>Math : Math
>     : ^^^^
>random : () => number
>       : ^^^^^^

    return { type: "A" }; // error
>{ type: "A" } : { type: "A"; }
>              : ^^^^^^^^^^^^^^
>type : "A"
>     : ^^^
>"A" : "A"
>    : ^^^
  }

  return { type: "B", value: "test" };
>{ type: "B", value: "test" } : { type: "B"; value: string; }
>                             : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
>type : "B"
>     : ^^^
>"B" : "B"
>    : ^^^
>value : string
>      : ^^^^^^
>"test" : "test"
>       : ^^^^^^
}