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
|
=== tests/cases/conformance/types/typeRelationships/typeInference/discriminatedUnionInference.ts ===
// Repro from #28862
type Foo<A> = { type: "foo", (): A[] };
>Foo : Symbol(Foo, Decl(discriminatedUnionInference.ts, 0, 0))
>A : Symbol(A, Decl(discriminatedUnionInference.ts, 2, 9))
>type : Symbol(type, Decl(discriminatedUnionInference.ts, 2, 15))
>A : Symbol(A, Decl(discriminatedUnionInference.ts, 2, 9))
type Bar<A> = { type: "bar", (): A };
>Bar : Symbol(Bar, Decl(discriminatedUnionInference.ts, 2, 39))
>A : Symbol(A, Decl(discriminatedUnionInference.ts, 3, 9))
>type : Symbol(type, Decl(discriminatedUnionInference.ts, 3, 15))
>A : Symbol(A, Decl(discriminatedUnionInference.ts, 3, 9))
type FooBar<A> = Foo<A> | Bar<A>;
>FooBar : Symbol(FooBar, Decl(discriminatedUnionInference.ts, 3, 37))
>A : Symbol(A, Decl(discriminatedUnionInference.ts, 5, 12))
>Foo : Symbol(Foo, Decl(discriminatedUnionInference.ts, 0, 0))
>A : Symbol(A, Decl(discriminatedUnionInference.ts, 5, 12))
>Bar : Symbol(Bar, Decl(discriminatedUnionInference.ts, 2, 39))
>A : Symbol(A, Decl(discriminatedUnionInference.ts, 5, 12))
type InferA<T> = T extends FooBar<infer A> ? A : never;
>InferA : Symbol(InferA, Decl(discriminatedUnionInference.ts, 5, 33))
>T : Symbol(T, Decl(discriminatedUnionInference.ts, 7, 12))
>T : Symbol(T, Decl(discriminatedUnionInference.ts, 7, 12))
>FooBar : Symbol(FooBar, Decl(discriminatedUnionInference.ts, 3, 37))
>A : Symbol(A, Decl(discriminatedUnionInference.ts, 7, 39))
>A : Symbol(A, Decl(discriminatedUnionInference.ts, 7, 39))
type FooA = InferA<Foo<number>>; // number
>FooA : Symbol(FooA, Decl(discriminatedUnionInference.ts, 7, 55))
>InferA : Symbol(InferA, Decl(discriminatedUnionInference.ts, 5, 33))
>Foo : Symbol(Foo, Decl(discriminatedUnionInference.ts, 0, 0))
// Repro from #28862
type Item<T> = { kind: 'a', data: T } | { kind: 'b', data: T[] };
>Item : Symbol(Item, Decl(discriminatedUnionInference.ts, 9, 32))
>T : Symbol(T, Decl(discriminatedUnionInference.ts, 13, 10))
>kind : Symbol(kind, Decl(discriminatedUnionInference.ts, 13, 16))
>data : Symbol(data, Decl(discriminatedUnionInference.ts, 13, 27))
>T : Symbol(T, Decl(discriminatedUnionInference.ts, 13, 10))
>kind : Symbol(kind, Decl(discriminatedUnionInference.ts, 13, 41))
>data : Symbol(data, Decl(discriminatedUnionInference.ts, 13, 52))
>T : Symbol(T, Decl(discriminatedUnionInference.ts, 13, 10))
declare function foo<T>(item: Item<T>): T;
>foo : Symbol(foo, Decl(discriminatedUnionInference.ts, 13, 65))
>T : Symbol(T, Decl(discriminatedUnionInference.ts, 15, 21))
>item : Symbol(item, Decl(discriminatedUnionInference.ts, 15, 24))
>Item : Symbol(Item, Decl(discriminatedUnionInference.ts, 9, 32))
>T : Symbol(T, Decl(discriminatedUnionInference.ts, 15, 21))
>T : Symbol(T, Decl(discriminatedUnionInference.ts, 15, 21))
let x1 = foo({ kind: 'a', data: 42 }); // number
>x1 : Symbol(x1, Decl(discriminatedUnionInference.ts, 17, 3))
>foo : Symbol(foo, Decl(discriminatedUnionInference.ts, 13, 65))
>kind : Symbol(kind, Decl(discriminatedUnionInference.ts, 17, 14))
>data : Symbol(data, Decl(discriminatedUnionInference.ts, 17, 25))
let x2 = foo({ kind: 'b', data: [1, 2] }); // number
>x2 : Symbol(x2, Decl(discriminatedUnionInference.ts, 18, 3))
>foo : Symbol(foo, Decl(discriminatedUnionInference.ts, 13, 65))
>kind : Symbol(kind, Decl(discriminatedUnionInference.ts, 18, 14))
>data : Symbol(data, Decl(discriminatedUnionInference.ts, 18, 25))
|
