TypeScript/tests/baselines/reference/genericConditionalConstrainedToUnknownNotAssignableToConcreteObject.types at f0624badbebca20b0bff48553f6361135e3f802a · 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
//// [tests/cases/compiler/genericConditionalConstrainedToUnknownNotAssignableToConcreteObject.ts] ////

=== genericConditionalConstrainedToUnknownNotAssignableToConcreteObject.ts ===
interface A { x: number }
>x : number
>  : ^^^^^^

declare function isA(a: unknown): a is A;
>isA : (a: unknown) => a is A
>    : ^ ^^       ^^^^^
>a : unknown
>  : ^^^^^^^

type FunctionsObj<T> = {
>FunctionsObj : FunctionsObj<T>
>             : ^^^^^^^^^^^^^^^

    [K in keyof T]: () => unknown
}

function g<
>g : <T extends FunctionsObj<T>, M extends keyof T>(a2: ReturnType<T[M]>, x: A) => void
>  : ^ ^^^^^^^^^               ^^ ^^^^^^^^^       ^^  ^^                ^^ ^^ ^^^^^^^^^

    T extends FunctionsObj<T>,
    M extends keyof T
>(a2: ReturnType<T[M]>, x: A) {
>a2 : ReturnType<T[M]>
>   : ^^^^^^^^^^^^^^^^
>x : A
>  : ^

    x = a2;
>x = a2 : ReturnType<T[M]>
>       : ^^^^^^^^^^^^^^^^
>x : A
>  : ^
>a2 : ReturnType<T[M]>
>   : ^^^^^^^^^^^^^^^^
}

// Original CFA report of the above issue

function g2<
>g2 : <T extends FunctionsObj<T>, M extends keyof T>(a2: ReturnType<T[M]>) => void
>   : ^ ^^^^^^^^^               ^^ ^^^^^^^^^       ^^  ^^                ^^^^^^^^^

    T extends FunctionsObj<T>,
    M extends keyof T
>(a2: ReturnType<T[M]>) {
>a2 : ReturnType<T[M]>
>   : ^^^^^^^^^^^^^^^^

    if (isA(a2)) {
>isA(a2) : boolean
>        : ^^^^^^^
>isA : (a: unknown) => a is A
>    : ^ ^^       ^^^^^
>a2 : ReturnType<T[M]>
>   : ^^^^^^^^^^^^^^^^

        a2.x // ok
>a2.x : number
>     : ^^^^^^
>a2 : A
>   : ^
>x : number
>  : ^^^^^^
    }
}