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
|
=== tests/cases/conformance/types/thisType/inferThisType.ts ===
declare function f<T>(g: (this: T) => void): T
>f : <T>(g: (this: T) => void) => T
>g : (this: T) => void
>this : T
declare function h(this: number): void;
>h : (this: number) => void
>this : number
f(h)
>f(h) : number
>f : <T>(g: (this: T) => void) => T
>h : (this: number) => void
// works with infer types as well
type Check<T> = T extends (this: infer U, ...args: any[]) => any ? string : unknown;
>Check : Check<T>
>this : U
>args : any[]
type r1 = Check<(this: number) => void>; // should be string
>r1 : string
>this : number
type This<T> = T extends (this: infer U, ...args: any[]) => any ? U : unknown;
>This : This<T>
>this : U
>args : any[]
type r2 = This<(this: number) => void>; // should be number
>r2 : number
>this : number
|
