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
|
=== tests/cases/conformance/jsx/file.tsx ===
import React = require('react')
>React : Symbol(React, Decl(file.tsx, 0, 0))
declare function ComponentWithTwoAttributes<K,V>(l: {key1: K, value: V}): JSX.Element;
>ComponentWithTwoAttributes : Symbol(ComponentWithTwoAttributes, Decl(file.tsx, 0, 31))
>K : Symbol(K, Decl(file.tsx, 2, 44))
>V : Symbol(V, Decl(file.tsx, 2, 46))
>l : Symbol(l, Decl(file.tsx, 2, 49))
>key1 : Symbol(key1, Decl(file.tsx, 2, 53))
>K : Symbol(K, Decl(file.tsx, 2, 44))
>value : Symbol(value, Decl(file.tsx, 2, 61))
>V : Symbol(V, Decl(file.tsx, 2, 46))
>JSX : Symbol(JSX, Decl(react.d.ts, 2353, 1))
>Element : Symbol(JSX.Element, Decl(react.d.ts, 2356, 27))
// OK
function Baz<T,U>(key1: T, value: U) {
>Baz : Symbol(Baz, Decl(file.tsx, 2, 86))
>T : Symbol(T, Decl(file.tsx, 5, 13))
>U : Symbol(U, Decl(file.tsx, 5, 15))
>key1 : Symbol(key1, Decl(file.tsx, 5, 18))
>T : Symbol(T, Decl(file.tsx, 5, 13))
>value : Symbol(value, Decl(file.tsx, 5, 26))
>U : Symbol(U, Decl(file.tsx, 5, 15))
let a0 = <ComponentWithTwoAttributes key1={key1} value={value} />
>a0 : Symbol(a0, Decl(file.tsx, 6, 7))
>ComponentWithTwoAttributes : Symbol(ComponentWithTwoAttributes, Decl(file.tsx, 0, 31))
>key1 : Symbol(key1, Decl(file.tsx, 6, 40))
>key1 : Symbol(key1, Decl(file.tsx, 5, 18))
>value : Symbol(value, Decl(file.tsx, 6, 52))
>value : Symbol(value, Decl(file.tsx, 5, 26))
let a1 = <ComponentWithTwoAttributes {...{key1, value: value}} key="Component" />
>a1 : Symbol(a1, Decl(file.tsx, 7, 7))
>ComponentWithTwoAttributes : Symbol(ComponentWithTwoAttributes, Decl(file.tsx, 0, 31))
>key1 : Symbol(key1, Decl(file.tsx, 7, 46))
>value : Symbol(value, Decl(file.tsx, 7, 51))
>value : Symbol(value, Decl(file.tsx, 5, 26))
>key : Symbol(key, Decl(file.tsx, 7, 66))
}
declare function Link<U>(l: {func: (arg: U)=>void}): JSX.Element;
>Link : Symbol(Link, Decl(file.tsx, 8, 1))
>U : Symbol(U, Decl(file.tsx, 10, 22))
>l : Symbol(l, Decl(file.tsx, 10, 25))
>func : Symbol(func, Decl(file.tsx, 10, 29))
>arg : Symbol(arg, Decl(file.tsx, 10, 36))
>U : Symbol(U, Decl(file.tsx, 10, 22))
>JSX : Symbol(JSX, Decl(react.d.ts, 2353, 1))
>Element : Symbol(JSX.Element, Decl(react.d.ts, 2356, 27))
// OK
function createLink(func: (a: number)=>void) {
>createLink : Symbol(createLink, Decl(file.tsx, 10, 65))
>func : Symbol(func, Decl(file.tsx, 13, 20))
>a : Symbol(a, Decl(file.tsx, 13, 27))
let o = <Link func={func} />
>o : Symbol(o, Decl(file.tsx, 14, 7))
>Link : Symbol(Link, Decl(file.tsx, 8, 1))
>func : Symbol(func, Decl(file.tsx, 14, 17))
>func : Symbol(func, Decl(file.tsx, 13, 20))
}
function createLink1(func: (a: number)=>boolean) {
>createLink1 : Symbol(createLink1, Decl(file.tsx, 15, 1))
>func : Symbol(func, Decl(file.tsx, 17, 21))
>a : Symbol(a, Decl(file.tsx, 17, 28))
let o = <Link func={func} />
>o : Symbol(o, Decl(file.tsx, 18, 7))
>Link : Symbol(Link, Decl(file.tsx, 8, 1))
>func : Symbol(func, Decl(file.tsx, 18, 17))
>func : Symbol(func, Decl(file.tsx, 17, 21))
}
interface InferParamProp<T> {
>InferParamProp : Symbol(InferParamProp, Decl(file.tsx, 19, 1))
>T : Symbol(T, Decl(file.tsx, 21, 25))
values: Array<T>;
>values : Symbol(InferParamProp.values, Decl(file.tsx, 21, 29))
>Array : Symbol(Array, Decl(lib.d.ts, --, --), Decl(lib.d.ts, --, --))
>T : Symbol(T, Decl(file.tsx, 21, 25))
selectHandler: (selectedVal: T) => void;
>selectHandler : Symbol(InferParamProp.selectHandler, Decl(file.tsx, 22, 21))
>selectedVal : Symbol(selectedVal, Decl(file.tsx, 23, 20))
>T : Symbol(T, Decl(file.tsx, 21, 25))
}
declare function InferParamComponent<T>(attr: InferParamProp<T>): JSX.Element;
>InferParamComponent : Symbol(InferParamComponent, Decl(file.tsx, 24, 1))
>T : Symbol(T, Decl(file.tsx, 26, 37))
>attr : Symbol(attr, Decl(file.tsx, 26, 40))
>InferParamProp : Symbol(InferParamProp, Decl(file.tsx, 19, 1))
>T : Symbol(T, Decl(file.tsx, 26, 37))
>JSX : Symbol(JSX, Decl(react.d.ts, 2353, 1))
>Element : Symbol(JSX.Element, Decl(react.d.ts, 2356, 27))
// OK
let i = <InferParamComponent values={[1, 2, 3, 4]} selectHandler={(val) => { }} />;
>i : Symbol(i, Decl(file.tsx, 29, 3))
>InferParamComponent : Symbol(InferParamComponent, Decl(file.tsx, 24, 1))
>values : Symbol(values, Decl(file.tsx, 29, 28))
>selectHandler : Symbol(selectHandler, Decl(file.tsx, 29, 50))
>val : Symbol(val, Decl(file.tsx, 29, 67))
|
