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
|
=== tests/cases/compiler/multipleInferenceContexts.ts ===
type ConstructorOptions<Data> =
>ConstructorOptions : ConstructorOptions<Data>
& ComponentOptionsProperties<Data>
& ThisType<Instance<Data>>;
interface ComponentOptionsProperties<Data> {
data: Data;
>data : Data
render(): unknown;
>render : () => unknown
}
interface Instance<Data> {
get<K extends keyof Data>(name: K): unknown;
>get : <K extends keyof Data>(name: K) => unknown
>name : K
}
declare var Moon: {
>Moon : <Data>(options?: ConstructorOptions<Data> | undefined) => Instance<Data>
<Data>(options?: ConstructorOptions<Data>): Instance<Data>;
>options : ConstructorOptions<Data> | undefined
};
const r2 = Moon({
>r2 : Instance<{ msg: string; }>
>Moon({ data: { msg: "" }, render() { const h = (x: unknown) => x; return h(this.get("msg")); },}) : Instance<{ msg: string; }>
>Moon : <Data>(options?: ConstructorOptions<Data> | undefined) => Instance<Data>
>{ data: { msg: "" }, render() { const h = (x: unknown) => x; return h(this.get("msg")); },} : { data: { msg: string; }; render(): unknown; }
data: { msg: "" },
>data : { msg: string; }
>{ msg: "" } : { msg: string; }
>msg : string
>"" : ""
render() {
>render : () => unknown
const h = (x: unknown) => x;
>h : (x: unknown) => unknown
>(x: unknown) => x : (x: unknown) => unknown
>x : unknown
>x : unknown
return h(this.get("msg"));
>h(this.get("msg")) : unknown
>h : (x: unknown) => unknown
>this.get("msg") : unknown
>this.get : <K extends "msg">(name: K) => unknown
>this : Instance<{ msg: string; }>
>get : <K extends "msg">(name: K) => unknown
>"msg" : "msg"
},
});
|
