TypeScript/tests/baselines/reference/circularInferredTypeOfVariable.types at 6c8f3082ffc073cacb8da72f5a6bdcb43a6d4ae1 · RyanCavanaugh/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
=== tests/cases/compiler/circularInferredTypeOfVariable.ts ===
// Repro from #14428

(async () => {
>(async () => {    function foo(p: string[]): string[] {        return [];    }    function bar(p: string[]): string[] {        return [];    }    let a1: string[] | undefined = [];    while (true) {        let a2 = foo(a1!);        a1 = await bar(a2);    }}) : () => Promise<never>
>async () => {    function foo(p: string[]): string[] {        return [];    }    function bar(p: string[]): string[] {        return [];    }    let a1: string[] | undefined = [];    while (true) {        let a2 = foo(a1!);        a1 = await bar(a2);    }} : () => Promise<never>

    function foo(p: string[]): string[] {
>foo : (p: string[]) => string[]
>p : string[]

        return [];
>[] : string[]
    }

    function bar(p: string[]): string[] {
>bar : (p: string[]) => string[]
>p : string[]

        return [];
>[] : string[]
    }

    let a1: string[] | undefined = [];
>a1 : string[]
>[] : string[]

    while (true) {
>true : true

        let a2 = foo(a1!);
>a2 : string[]
>foo(a1!) : string[]
>foo : (p: string[]) => string[]
>a1! : string[]
>a1 : string[]

        a1 = await bar(a2);
>a1 = await bar(a2) : string[]
>a1 : string[]
>await bar(a2) : string[]
>bar(a2) : string[]
>bar : (p: string[]) => string[]
>a2 : string[]
    }
});