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
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
|
=== tests/cases/conformance/jsx/file.tsx ===
import React = require('react')
>React : typeof React
declare function OverloadComponent<U>(): JSX.Element;
>OverloadComponent : { <U>(): JSX.Element; <U>(attr: { b: U; a?: string; "ignore-prop": boolean; }): JSX.Element; <T, U>(attr: { b: U; a: T; }): JSX.Element; }
>JSX : any
declare function OverloadComponent<U>(attr: {b: U, a?: string, "ignore-prop": boolean}): JSX.Element;
>OverloadComponent : { <U>(): JSX.Element; <U>(attr: { b: U; a?: string; "ignore-prop": boolean; }): JSX.Element; <T, U>(attr: { b: U; a: T; }): JSX.Element; }
>attr : { b: U; a?: string; "ignore-prop": boolean; }
>b : U
>a : string
>"ignore-prop" : boolean
>JSX : any
declare function OverloadComponent<T, U>(attr: {b: U, a: T}): JSX.Element;
>OverloadComponent : { <U>(): JSX.Element; <U>(attr: { b: U; a?: string; "ignore-prop": boolean; }): JSX.Element; <T, U>(attr: { b: U; a: T; }): JSX.Element; }
>attr : { b: U; a: T; }
>b : U
>a : T
>JSX : any
// OK
function Baz<T extends {b: number}, U extends {a: boolean, b:string}>(arg1: T, arg2: U) {
>Baz : <T extends { b: number; }, U extends { a: boolean; b: string; }>(arg1: T, arg2: U) => void
>b : number
>a : boolean
>b : string
>arg1 : T
>arg2 : U
let a0 = <OverloadComponent {...arg1} a="hello" ignore-prop />;
>a0 : JSX.Element
><OverloadComponent {...arg1} a="hello" ignore-prop /> : JSX.Element
>OverloadComponent : { <U>(): JSX.Element; <U>(attr: { b: U; a?: string; "ignore-prop": boolean; }): JSX.Element; <T, U>(attr: { b: U; a: T; }): JSX.Element; }
>arg1 : T
>a : string
>ignore-prop : true
let a1 = <OverloadComponent {...arg2} ignore-pro="hello world" />;
>a1 : JSX.Element
><OverloadComponent {...arg2} ignore-pro="hello world" /> : JSX.Element
>OverloadComponent : { <U>(): JSX.Element; <U>(attr: { b: U; a?: string; "ignore-prop": boolean; }): JSX.Element; <T, U>(attr: { b: U; a: T; }): JSX.Element; }
>arg2 : U
>ignore-pro : string
let a2 = <OverloadComponent {...arg2} />;
>a2 : JSX.Element
><OverloadComponent {...arg2} /> : JSX.Element
>OverloadComponent : { <U>(): JSX.Element; <U>(attr: { b: U; a?: string; "ignore-prop": boolean; }): JSX.Element; <T, U>(attr: { b: U; a: T; }): JSX.Element; }
>arg2 : U
let a3 = <OverloadComponent {...arg1} ignore-prop />;
>a3 : JSX.Element
><OverloadComponent {...arg1} ignore-prop /> : JSX.Element
>OverloadComponent : { <U>(): JSX.Element; <U>(attr: { b: U; a?: string; "ignore-prop": boolean; }): JSX.Element; <T, U>(attr: { b: U; a: T; }): JSX.Element; }
>arg1 : T
>ignore-prop : true
let a4 = <OverloadComponent />;
>a4 : JSX.Element
><OverloadComponent /> : JSX.Element
>OverloadComponent : { <U>(): JSX.Element; <U>(attr: { b: U; a?: string; "ignore-prop": boolean; }): JSX.Element; <T, U>(attr: { b: U; a: T; }): JSX.Element; }
let a5 = <OverloadComponent {...arg2} ignore-prop="hello" {...arg1} />;
>a5 : JSX.Element
><OverloadComponent {...arg2} ignore-prop="hello" {...arg1} /> : JSX.Element
>OverloadComponent : { <U>(): JSX.Element; <U>(attr: { b: U; a?: string; "ignore-prop": boolean; }): JSX.Element; <T, U>(attr: { b: U; a: T; }): JSX.Element; }
>arg2 : U
>ignore-prop : string
>arg1 : T
let a6 = <OverloadComponent {...arg2} ignore-prop {...arg1} />;
>a6 : JSX.Element
><OverloadComponent {...arg2} ignore-prop {...arg1} /> : JSX.Element
>OverloadComponent : { <U>(): JSX.Element; <U>(attr: { b: U; a?: string; "ignore-prop": boolean; }): JSX.Element; <T, U>(attr: { b: U; a: T; }): JSX.Element; }
>arg2 : U
>ignore-prop : true
>arg1 : T
}
declare function Link<U>(l: {func: (arg: U)=>void}): JSX.Element;
>Link : { <U>(l: { func: (arg: U) => void; }): JSX.Element; <U>(l: { func: (arg1: U, arg2: string) => void; }): JSX.Element; }
>l : { func: (arg: U) => void; }
>func : (arg: U) => void
>arg : U
>JSX : any
declare function Link<U>(l: {func: (arg1:U, arg2: string)=>void}): JSX.Element;
>Link : { <U>(l: { func: (arg: U) => void; }): JSX.Element; <U>(l: { func: (arg1: U, arg2: string) => void; }): JSX.Element; }
>l : { func: (arg1: U, arg2: string) => void; }
>func : (arg1: U, arg2: string) => void
>arg1 : U
>arg2 : string
>JSX : any
function createLink(func: (a: number)=>void) {
>createLink : (func: (a: number) => void) => void
>func : (a: number) => void
>a : number
let o = <Link func={func} />
>o : JSX.Element
><Link func={func} /> : JSX.Element
>Link : { <U>(l: { func: (arg: U) => void; }): JSX.Element; <U>(l: { func: (arg1: U, arg2: string) => void; }): JSX.Element; }
>func : (a: number) => void
>func : (a: number) => void
let o1 = <Link func={(a:number, b:string)=>{}} />;
>o1 : JSX.Element
><Link func={(a:number, b:string)=>{}} /> : JSX.Element
>Link : { <U>(l: { func: (arg: U) => void; }): JSX.Element; <U>(l: { func: (arg1: U, arg2: string) => void; }): JSX.Element; }
>func : (a: number, b: string) => void
>(a:number, b:string)=>{} : (a: number, b: string) => void
>a : number
>b : string
}
|
