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
|
=== tests/cases/compiler/contextualTypingTwoInstancesOfSameTypeParameter.ts ===
function f6<T>(x: (a: T) => T) {
>f6 : <T>(x: (a: T) => T) => any
>T : T
>x : (a: T) => T
>a : T
>T : T
>T : T
return null;
>null : null
}
f6(x => f6(y => x = y));
>f6(x => f6(y => x = y)) : any
>f6 : <T>(x: (a: T) => T) => any
>x => f6(y => x = y) : (x: {}) => any
>x : {}
>f6(y => x = y) : any
>f6 : <T>(x: (a: T) => T) => any
>y => x = y : (y: {}) => {}
>y : {}
>x = y : {}
>x : {}
>y : {}
|
