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
|
=== tests/cases/conformance/jsx/file.tsx ===
declare module JSX {
interface Element { }
interface IntrinsicElements {
test1: Attribs1;
>test1 : Attribs1
test2: Attribs2;
>test2 : Attribs2
}
}
interface Attribs1 {
x: string;
>x : string
}
interface Attribs2 {
toString(): string;
>toString : () => string
}
function make1<T extends {x: string}> (obj: T) {
>make1 : <T extends { x: string; }>(obj: T) => JSX.Element
>x : string
>obj : T
return <test1 {...obj} />; // OK
><test1 {...obj} /> : JSX.Element
>test1 : any
>obj : T
}
function make2<T extends {x: number}> (obj: T) {
>make2 : <T extends { x: number; }>(obj: T) => JSX.Element
>x : number
>obj : T
return <test1 {...obj} />; // Error (x is number, not string)
><test1 {...obj} /> : JSX.Element
>test1 : any
>obj : T
}
function make3<T extends {y: string}> (obj: T) {
>make3 : <T extends { y: string; }>(obj: T) => JSX.Element
>y : string
>obj : T
return <test1 {...obj} />; // Error, missing x
><test1 {...obj} /> : JSX.Element
>test1 : any
>obj : T
}
<test1 {...{}} />; // Error, missing x
><test1 {...{}} /> : JSX.Element
>test1 : any
>{} : {}
<test2 {...{}} />; // Error, missing toString
><test2 {...{}} /> : JSX.Element
>test2 : any
>{} : {}
|
