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
|
=== tests/cases/compiler/inKeywordAndUnknown.ts ===
// Repro from #50531
function f(x: {}, y: unknown) {
>f : (x: {}, y: unknown) => void
>x : {}
>y : unknown
if (!("a" in x)) {
>!("a" in x) : boolean
>("a" in x) : boolean
>"a" in x : boolean
>"a" : "a"
>x : {}
return;
}
x; // {}
>x : Record<"a", unknown>
if (!y) {
>!y : boolean
>y : unknown
return;
}
y; // {}
>y : {}
if (!("a" in y)) {
>!("a" in y) : boolean
>("a" in y) : boolean
>"a" in y : boolean
>"a" : "a"
>y : {}
return;
}
y; // {}
>y : Record<"a", unknown>
}
|
