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
|
//// [tests/cases/conformance/types/typeParameters/typeParameterLists/typeParametersAvailableInNestedScope3.ts] ////
=== typeParametersAvailableInNestedScope3.ts ===
function foo<T>(v: T) {
>foo : <T>(v: T) => { a: <T>(a: T) => T; b: () => T; c: <T>(v: T) => { a: <T>(a: T) => T; b: () => T; }; }
>v : T
function a<T>(a: T) { return a; }
>a : <T>(a: T) => T
>a : T
>a : T
function b(): T { return v; }
>b : () => T
>v : T
function c<T>(v: T) {
>c : <T>(v: T) => { a: <T>(a: T) => T; b: () => T; }
>v : T
function a<T>(a: T) { return a; }
>a : <T>(a: T) => T
>a : T
>a : T
function b(): T { return v; }
>b : () => T
>v : T
return { a, b };
>{ a, b } : { a: <T>(a: T) => T; b: () => T; }
>a : <T>(a: T) => T
>b : () => T
}
return { a, b, c };
>{ a, b, c } : { a: <T>(a: T) => T; b: () => T; c: <T>(v: T) => { a: <T>(a: T) => T; b: () => T; }; }
>a : <T>(a: T) => T
>b : () => T
>c : <T>(v: T) => { a: <T>(a: T) => T; b: () => T; }
}
|
