test generic type

Author: Zzzen

tests/baselines/reference/contextualTypeInObectProperty.errors.txt

@@ -46,4 +46,12 @@ tests/cases/compiler/contextualTypeInObectProperty.ts(24,11): error TS7006: Para
       [getC()]: function() {
         this.c();
       }
-    };
+    };
+    
+    
+    declare function f<T extends object>(data: T, handlers: { [P in keyof T]: (value: T[P], prop: P) => void; }): void;
+    f({ data: 0 }, {
+      [(() => 'data' as const)()](value, key) {
+    
+      },
+    });

tests/baselines/reference/contextualTypeInObectProperty.js

@@ -35,11 +35,19 @@ const thisType = {
   [getC()]: function() {
     this.c();
   }
-};
+};
+
+
+declare function f<T extends object>(data: T, handlers: { [P in keyof T]: (value: T[P], prop: P) => void; }): void;
+f({ data: 0 }, {
+  [(() => 'data' as const)()](value, key) {
+
+  },
+});
 
 //// [contextualTypeInObectProperty.js]
 "use strict";
-var _a, _b, _c, _d, _e;
+var _a, _b, _c, _d, _e, _f;
 exports.__esModule = true;
 exports.func = exports.unionType = exports.obj = void 0;
 var getC = function () { return "c"; };
@@ -63,3 +71,7 @@ var thisType = (_e = {},
         this.c();
     },
     _e);
+f({ data: 0 }, (_f = {},
+    _f[(function () { return 'data'; })()] = function (value, key) {
+    },
+    _f));

tests/baselines/reference/contextualTypeInObectProperty.symbols

@@ -103,3 +103,30 @@ const thisType = {
 >c : Symbol([getC()], Decl(contextualTypeInObectProperty.ts, 32, 18))
   }
 };
+
+
+declare function f<T extends object>(data: T, handlers: { [P in keyof T]: (value: T[P], prop: P) => void; }): void;
+>f : Symbol(f, Decl(contextualTypeInObectProperty.ts, 36, 2))
+>T : Symbol(T, Decl(contextualTypeInObectProperty.ts, 39, 19))
+>data : Symbol(data, Decl(contextualTypeInObectProperty.ts, 39, 37))
+>T : Symbol(T, Decl(contextualTypeInObectProperty.ts, 39, 19))
+>handlers : Symbol(handlers, Decl(contextualTypeInObectProperty.ts, 39, 45))
+>P : Symbol(P, Decl(contextualTypeInObectProperty.ts, 39, 59))
+>T : Symbol(T, Decl(contextualTypeInObectProperty.ts, 39, 19))
+>value : Symbol(value, Decl(contextualTypeInObectProperty.ts, 39, 75))
+>T : Symbol(T, Decl(contextualTypeInObectProperty.ts, 39, 19))
+>P : Symbol(P, Decl(contextualTypeInObectProperty.ts, 39, 59))
+>prop : Symbol(prop, Decl(contextualTypeInObectProperty.ts, 39, 87))
+>P : Symbol(P, Decl(contextualTypeInObectProperty.ts, 39, 59))
+
+f({ data: 0 }, {
+>f : Symbol(f, Decl(contextualTypeInObectProperty.ts, 36, 2))
+>data : Symbol(data, Decl(contextualTypeInObectProperty.ts, 40, 3))
+
+  [(() => 'data' as const)()](value, key) {
+>[(() => 'data' as const)()] : Symbol([(() => 'data' as const)()], Decl(contextualTypeInObectProperty.ts, 40, 16))
+>value : Symbol(value, Decl(contextualTypeInObectProperty.ts, 41, 30))
+>key : Symbol(key, Decl(contextualTypeInObectProperty.ts, 41, 36))
+
+  },
+});

tests/baselines/reference/contextualTypeInObectProperty.types

@@ -123,3 +123,32 @@ const thisType = {
 >c : () => void
   }
 };
+
+
+declare function f<T extends object>(data: T, handlers: { [P in keyof T]: (value: T[P], prop: P) => void; }): void;
+>f : <T extends object>(data: T, handlers: { [P in keyof T]: (value: T[P], prop: P) => void; }) => void
+>data : T
+>handlers : { [P in keyof T]: (value: T[P], prop: P) => void; }
+>value : T[P]
+>prop : P
+
+f({ data: 0 }, {
+>f({ data: 0 }, {  [(() => 'data' as const)()](value, key) {  },}) : void
+>f : <T extends object>(data: T, handlers: { [P in keyof T]: (value: T[P], prop: P) => void; }) => void
+>{ data: 0 } : { data: number; }
+>data : number
+>0 : 0
+>{  [(() => 'data' as const)()](value, key) {  },} : { data(value: number, key: "data"): void; }
+
+  [(() => 'data' as const)()](value, key) {
+>[(() => 'data' as const)()] : (value: number, key: "data") => void
+>(() => 'data' as const)() : "data"
+>(() => 'data' as const) : () => "data"
+>() => 'data' as const : () => "data"
+>'data' as const : "data"
+>'data' : "data"
+>value : number
+>key : "data"
+
+  },
+});

tests/cases/compiler/contextualTypeInObectProperty.ts

@@ -37,4 +37,12 @@ const thisType = {
   [getC()]: function() {
     this.c();
   }
-};
+};
+
+
+declare function f<T extends object>(data: T, handlers: { [P in keyof T]: (value: T[P], prop: P) => void; }): void;
+f({ data: 0 }, {
+  [(() => 'data' as const)()](value, key) {
+
+  },
+});