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
|
=== tests/cases/compiler/contextualSignatureInstantiationWithTypeParameterConstrainedToOuterTypeParameter.ts ===
function f<T>() {
>f : <T>() => <U extends T>(u: U) => U
>T : T
function g<U extends T>(u: U): U { return null }
>g : <U extends T>(u: U) => U
>U : U
>T : T
>u : U
>U : U
>U : U
>null : null
return g;
>g : <U extends T>(u: U) => U
}
var h: <V, W>(v: V, func: (v: V) => W) => W;
>h : <V, W>(v: V, func: (v: V) => W) => W
>V : V
>W : W
>v : V
>V : V
>func : (v: V) => W
>v : V
>V : V
>W : W
>W : W
var x = h("", f<string>()); // Call should succeed and x should be string. All type parameters should be instantiated to string
>x : string
>h("", f<string>()) : string
>h : <V, W>(v: V, func: (v: V) => W) => W
>"" : ""
>f<string>() : <U extends string>(u: U) => U
>f : <T>() => <U extends T>(u: U) => U
|
