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
|
=== tests/cases/compiler/definiteAssignmentOfDestructuredVariable.ts ===
// https://github.com/Microsoft/TypeScript/issues/20994
interface Options {
a?: number | object;
>a : number | object | undefined
b: () => void;
>b : () => void
}
class C<T extends Options> {
>C : C<T>
foo!: { [P in keyof T]: T[P] }
>foo : { [P in keyof T]: T[P]; }
method() {
>method : () => void
let { a, b } = this.foo;
>a : T["a"] | undefined
>b : T["b"]
>this.foo : { [P in keyof T]: T[P]; }
>this : this
>foo : { [P in keyof T]: T[P]; }
!(a && b);
>!(a && b) : boolean
>(a && b) : T["b"] | undefined
>a && b : T["b"] | undefined
>a : T["a"] | undefined
>b : T["b"]
a;
>a : T["a"] | undefined
}
}
|
