1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
=== tests/cases/compiler/contextualTypingTwoInstancesOfSameTypeParameter.ts ===
function f6<T>(x: (a: T) => T) {
>f6 : <T>(x: (a: T) => T) => any
>x : (a: T) => T
>a : 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: unknown) => any
>x : unknown
>f6(y => x = y) : any
>f6 : <T>(x: (a: T) => T) => any
>y => x = y : (y: unknown) => unknown
>y : unknown
>x = y : unknown
>x : unknown
>y : unknown
|
