microsoft/TypeScript
1
0
Fork 0
mirror of https://github.com/microsoft/TypeScript.git synced 2026-03-15 14:05:47 -05:00
Code Issues Packages Projects Releases 212 Wiki Activity

Add a test case with a generic member call returning a closed over object (#55514)

Browse Source
This commit is contained in:
Mateusz Burzyński
2023-08-26 17:57:57 +02:00
committed by GitHub
parent 5b9547b1ba
commit 270a471e11
3 changed files with 92 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

37
tests/baselines/reference/genericCallOnMemberReturningClosedOverObject.symbols Normal file
View File

@@ -0,0 +1,37 @@
//// [tests/cases/compiler/genericCallOnMemberReturningClosedOverObject.ts] ////
=== genericCallOnMemberReturningClosedOverObject.ts ===
// https://github.com/microsoft/TypeScript/issues/11584
function example<T1>() {
>example : Symbol(example, Decl(genericCallOnMemberReturningClosedOverObject.ts, 0, 0))
>T1 : Symbol(T1, Decl(genericCallOnMemberReturningClosedOverObject.ts, 2, 17))
let x = {
>x : Symbol(x, Decl(genericCallOnMemberReturningClosedOverObject.ts, 3, 5))
foo: <T2>(t2: T2) => x,
>foo : Symbol(foo, Decl(genericCallOnMemberReturningClosedOverObject.ts, 3, 11))
>T2 : Symbol(T2, Decl(genericCallOnMemberReturningClosedOverObject.ts, 4, 10))
>t2 : Symbol(t2, Decl(genericCallOnMemberReturningClosedOverObject.ts, 4, 14))
>T2 : Symbol(T2, Decl(genericCallOnMemberReturningClosedOverObject.ts, 4, 10))
>x : Symbol(x, Decl(genericCallOnMemberReturningClosedOverObject.ts, 3, 5))
bar: (t1: T1) => x,
>bar : Symbol(bar, Decl(genericCallOnMemberReturningClosedOverObject.ts, 4, 27))
>t1 : Symbol(t1, Decl(genericCallOnMemberReturningClosedOverObject.ts, 5, 10))
>T1 : Symbol(T1, Decl(genericCallOnMemberReturningClosedOverObject.ts, 2, 17))
>x : Symbol(x, Decl(genericCallOnMemberReturningClosedOverObject.ts, 3, 5))
};
return x;
>x : Symbol(x, Decl(genericCallOnMemberReturningClosedOverObject.ts, 3, 5))
}
example<number>().foo("hello").bar(1);
>example<number>().foo("hello").bar : Symbol(bar, Decl(genericCallOnMemberReturningClosedOverObject.ts, 4, 27))
>example<number>().foo : Symbol(foo, Decl(genericCallOnMemberReturningClosedOverObject.ts, 3, 11))
>example : Symbol(example, Decl(genericCallOnMemberReturningClosedOverObject.ts, 0, 0))
>foo : Symbol(foo, Decl(genericCallOnMemberReturningClosedOverObject.ts, 3, 11))
>bar : Symbol(bar, Decl(genericCallOnMemberReturningClosedOverObject.ts, 4, 27))

41
tests/baselines/reference/genericCallOnMemberReturningClosedOverObject.types Normal file
View File

@@ -0,0 +1,41 @@
//// [tests/cases/compiler/genericCallOnMemberReturningClosedOverObject.ts] ////
=== genericCallOnMemberReturningClosedOverObject.ts ===
// https://github.com/microsoft/TypeScript/issues/11584
function example<T1>() {
>example : <T1>() => { foo: <T2>(t2: T2) => any; bar: (t1: T1) => any; }
let x = {
>x : { foo: <T2>(t2: T2) => any; bar: (t1: T1) => any; }
>{ foo: <T2>(t2: T2) => x, bar: (t1: T1) => x, } : { foo: <T2>(t2: T2) => any; bar: (t1: T1) => any; }
foo: <T2>(t2: T2) => x,
>foo : <T2>(t2: T2) => { foo: any; bar: (t1: T1) => any; }
><T2>(t2: T2) => x : <T2>(t2: T2) => { foo: any; bar: (t1: T1) => any; }
>t2 : T2
>x : { foo: <T2>(t2: T2) => any; bar: (t1: T1) => any; }
bar: (t1: T1) => x,
>bar : (t1: T1) => { foo: <T2>(t2: T2) => any; bar: any; }
>(t1: T1) => x : (t1: T1) => { foo: <T2>(t2: T2) => any; bar: any; }
>t1 : T1
>x : { foo: <T2>(t2: T2) => any; bar: (t1: T1) => any; }
};
return x;
>x : { foo: <T2>(t2: T2) => any; bar: (t1: T1) => any; }
}
example<number>().foo("hello").bar(1);
>example<number>().foo("hello").bar(1) : { foo: <T2>(t2: T2) => any; bar: (t1: number) => any; }
>example<number>().foo("hello").bar : (t1: number) => { foo: <T2>(t2: T2) => any; bar: any; }
>example<number>().foo("hello") : { foo: <T2>(t2: T2) => any; bar: (t1: number) => any; }
>example<number>().foo : <T2>(t2: T2) => { foo: any; bar: (t1: number) => any; }
>example<number>() : { foo: <T2>(t2: T2) => any; bar: (t1: number) => any; }
>example : <T1>() => { foo: <T2>(t2: T2) => any; bar: (t1: T1) => any; }
>foo : <T2>(t2: T2) => { foo: any; bar: (t1: number) => any; }
>"hello" : "hello"
>bar : (t1: number) => { foo: <T2>(t2: T2) => any; bar: any; }
>1 : 1

14
tests/cases/compiler/genericCallOnMemberReturningClosedOverObject.ts Normal file
View File

@@ -0,0 +1,14 @@
// @strict: true
// @noEmit: true
// https://github.com/microsoft/TypeScript/issues/11584
function example<T1>() {
let x = {
foo: <T2>(t2: T2) => x,
bar: (t1: T1) => x,
};
return x;
}
example<number>().foo("hello").bar(1);